document.write(3800);