document.write('7250 ');