document.write ('3700');