"; print ""; print ""; print ""; print "

This page was produced in $total_time seconds.

"; print "

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