document.write (8094);