document.write ('5250');