document.write('9800 ');