document.write ('8000');