document.write ("42027");