document.write (4047);