document.write (8500);