document.write ('2542');