document.write ("
 9242 

");