document.write ('13000');