document.write (3800);