document.write ('3750');