document.write ('912');