document.write ('5912');