document.write('942001');