document.write ('8942');