document.write ('6000');