document.write('16000 ');