#!/mod/bin/jimsh

puts {
<!-- Start of footer -->
<div class=footer>
}

if {![catch {
    set rendertime [expr [expr [clock milliseconds] - $renderstart] / 1000.0]
    }]} {
	puts "<font class=footnote>Rendered in: $rendertime seconds</font>"
}

puts {
</div>
</div>
</body>
</html>
}