document.write (4225);