document.write ('7250');