document.write (12025);