function startTime()
{
/* html needed:
*/
var today=new Date();
var h=today.getHours();
var m=today.getMinutes();
var s=today.getSeconds();
// add a zero in front of numbers<10
m=checkTime(m);
s=checkTime(s);
document.getElementById('clock').innerHTML=h+":"+m+":"+s;
t=setTimeout('startTime()',500);
}
function checkTime(i)
{
if (i<10)
{
i="0" + i;
}
return i;
}
function webinit()
{
var dh = document.viewport.getHeight(); // window - not working on IE
var s = Element.getHeight('sidebarbox'); // sidebar height
var c = Element.getHeight('contentbox'); // content height
//alert("Sidebar = " + s + ", Content = " + c + ", Document = " + dh);
// force content height to be at least as tall as sidebar
if (c