document.write('9242 ');