<?php
if(isset($FoundRef))
{
echo "<table width="100%"><tr><th class="title">Search Result</td></tr></table>";
echo "<br />";
echo sizeof($FoundRef);
echo (sizeof($FoundRef) == 1 ? " reference" : " references");
echo " found";
if($junkWords)
{
echo "Common words like";
foreach($junkWords as $jWords)
{
echo " "."'".$jWords."'";
}
echo "are removed from the search string";
}
echo "</h5>";
foreach($FoundRef as $a => $value)
{
echo "<table>";
echo "<tr><td valign="top">";
// echo $FoundRef[$a]["contid"];
<a href=showref.php?refid=<?php echo $FoundRef[$a]["contid"]?>><emp><b>
<?php echo $FoundRef[$a]["title"]?></b></emp></a><div align="right">
Occurance(s):
<?php echo $FoundRef[$a]["occurance"] ?></div>
<br /><small>
<?php echo $FoundRef[$a]["summary"] ?>...</small>
<br /><br />
<?php echo "</td></tr>";
}?>
<?php echo "</table>";
}//end of isset FoundRef
?>
<?php
//START TIMER
$end=getmicrotime();
//PERFORM SEARCH OPERATION
//END TIMER
$end=getmicrotime();
//TOTAL TIME TAKEN TO DO SEARCH OPERATION
$time_taken=(float)($end-$start);
$time_taken=number_format($time_taken,2,'.','');
?>
<?php
function getmicrotime()
{
list($usec,$sec)=explode(" ",microtime());
return ((float)$usec+(float)$sec);
}
?>