document.write ("
 5112 

");