document.write (7993);