#!/mod/bin/jimsh

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

set rendertime [expr [expr [clock milliseconds] - $renderstart] / 1000.0]

puts "<font class=footnote>Rendered in: $rendertime seconds</font>"

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