"; print ""; print ""; print ""; print "
 
This page was produced in $total_time seconds.
"; print "

"; print ""; print ""; print ""; ?>