document.write ("
 9142 

");