document.write (3007)