document.write ('942');