document.write('942512');