document.write (5250);