After replacing the file: theme-options.php the search button on the main page of the site stopped working!
1) https://www.dropbox.com/s/wcqxmpz1h5gaucf/6.jpg?dl=0
2) https://www.dropbox.com/s/d85lc3hwlvi5u7t/7.jpg?dl=0
3) https://www.dropbox.com/s/yuvcze6wp3cqgz4/8.jpg?dl=0
On all other pages, the search button works!