document.write ('5112');