document.write ('13042');