document.write ("42194");