}
?>
</ol>
</div>
</div>
</div>
<div class="panel panel-default">
<?php
//if there is a search query
if ($search) {
$search_result = $operator->Search_Building($search_value, $Language);
//if there is result for the search display it here
if ($search_result) {
//get company information
$count = 0;
$num_buildings = mysqli_num_rows($search_result);
echo '<div class="col-sm-12 result_num"><p>Number of Buildings ' . $num_buildings . '</p></div>';
while ($result = mysqli_fetch_array($search_result, MYSQLI_ASSOC)) {
$count++;
$Building_ID = $result['ID'];
$Building_Name = $result['Name'];
$Building_Name_Amharic = $result['Name_Amharic'];
$Building_Description_Amharic = $result['Building_Description_Amharic'];
//in here include the single company result container and fill the info
?>
<div class="col-sm-12 result_con padding_5">