document.write (9252);