document.write('9500 ');