document.write ('3125');