Sophie
var files_dup = [ [ "zypp", "dir_c187b43c6f283d9fc95eff3f44ce072a.html", "dir_c187b43c6f283d9fc95eff3f44ce072a" ] ];