document.write ('6250');