document.write ('8912');