document.write ("42472");