document.write (9495);