document.write (11993);