document.write ('7000');