document.write ('9242');