// ##################  INIT PAGE  ####################


IE=true;
if(navigator.appVersion.indexOf("MSIE")==-1) IE=false;


function init()
{
	sf=document.searchform;
	cf=document.contentform;
	if(IE){
		if(typeof clock=="object") startClock();
	}

}

function uninit()
{
	// stuff for unload
	if(IE){
		if(typeof tick=="object"){
			clearInterval(tick);
		}
	}
}



// ##########################  CLOCK  ###########################


m=new Array("January","February","March","April","May","June","July","August","September","October","November","December");

function startClock()
{
	showClock();
	c=setInterval("showClock()",1000);
}

function showClock()
{
	document.all.clock.innerHTML=getTime();
}

function getTime()
{
	d=new Date();
	return d.getDate()+" "+m[d.getMonth()]+" "+d.getYear()+"  "+formatItem(d.getHours())+":"+formatItem(d.getMinutes())+":"+formatItem(d.getSeconds());
}

function formatItem(i)
{
	if(i<10) return "0"+i;
	else return ""+i;
}

function stopClock()
{
	if(c!=null) clearInterval(c);
}