document.write('942472');