document.write('16000')