document.write ('642');