document.write(' 7250 ');