document.write (" 12042 ");