document.write ('3800');