document.write ("
 7112 

");