document.write ('4000');