document.write (4094);