document.write (4993);