document.write ("
 4212 

");