document.write ("
 1012 

");