document.write('12042 ');