document.write ('16000');