document.write ("42190");