document.write ("
 8242 

");