document.write (8023);