document.write ("
 10134 

");