document.write(' 5250 ');