document.write(' 9250 ');