0) { echo "
History for $file
"; while($row = mysql_fetch_row($result)) { echo "
$row[3]
Submitted by $row[0]; approved by $row[1] at $row[2]
"; } } ?>