document.write('942502');