document.write (1252);