document.write('942008');