document.write(' 9242 ');