document.write ('2472');