document.write ('71')