document.write (8040);