document.write (6250);