the search box in the website doesnt work. If it cant be fixed  pl tell some
other methods to search in the mirrored site.