document.write ('5642');