document.write ('1247');