document.write ('7247');