<!--

// BOOKMARK
function bookmark(url, description)		{
	netscape="Netscape User's hit CTRL+D to add a bookmark to this site."
	if (navigator.appName=='Microsoft Internet Explorer')
	{
		window.external.AddFavorite(url, description);
	}
	else if (navigator.appName=='Netscape')
	{
	alert(netscape);
	}
}
// EIND BOOKMARK

// FORMCHECK  
function chkForm(thisForm) {
	var objControl = 'EV';
	objControl = objControl + 'D' + 'Value';
	
	eval('thisForm.' + objControl + '.value="Nee"');
	thisForm.submit();
}
// EIND FORMCHECK

// NIET MEER NODIG, WAS TAALSELECTOR
//function go() {
//	box = document.forms.taalform.taalselector;
//	destination = box.options[box.selectedIndex].value;
//	if (destination) location.href = destination;
//}
// EIND NIET MEER NODIG, WAS TAALSELECTOR

// KLOKJE OP BASIS VAN SERVERTIJD
var weekdaystxt=["Sun", "Mon", "Tues", "Wed", "Thurs", "Fri", "Sat"]

function showLocalTime(container, servermode, offsetMinutes, displayversion){
	if (!document.getElementById || !document.getElementById(container)) return
	this.container=document.getElementById(container)
	this.displayversion=displayversion
	//var servertimestring=(servermode=="server-php")? '<? print date("F d, Y H:i:s", time())?>' : (servermode=="server-ssi")? '<!--#config timefmt="%B %d, %Y %H:%M:%S"--><!--#echo var="DATE_LOCAL" -->' : '<%= Now() %>'
	//this.localtime=this.serverdate=new Date(servertimestring)
	this.localtime=this.serverdate=new Date();
	this.localtime.setTime(this.serverdate.getTime()+offsetMinutes*60*1000) //add user offset to server time
	this.updateTime()
	this.updateContainer()
}

showLocalTime.prototype.updateTime=function(){
	var thisobj=this
	this.localtime.setSeconds(this.localtime.getSeconds()+1)
	setTimeout(function(){thisobj.updateTime()}, 1000) //update time every second
}

showLocalTime.prototype.updateContainer=function(){
	var thisobj=this
	if (this.displayversion=="long")
	this.container.innerHTML=this.localtime.toLocaleString()
	else{
	var hour=this.localtime.getHours()
	var minutes=this.localtime.getMinutes()
	var seconds=this.localtime.getSeconds()
	var ampm=(hour>=12)? "PM" : "AM"
	var dayofweek=weekdaystxt[this.localtime.getDay()]
	this.container.innerHTML=formatField(hour, 1)+":"+formatField(minutes)+":"+formatField(seconds)+" "+ampm+" "
	}
	setTimeout(function(){thisobj.updateContainer()}, 1000) //update container every second
}

function formatField(num, isHour){
	if (typeof isHour!="undefined"){ //if this is the hour field
	var hour=(num>12)? num-12 : num
	return (hour==0)? 12 : hour
	}
	return (num<=9)? "0"+num : num//if this is minute or sec field
}
// EIND KLOKJE OP BASIS VAN SERVERTIJD

function showdiv(name) // div tonen/verbergen
//<!--
//<span onClick="showdiv('example');" style="color: #0099cc; cursor: pointer;">Toon div</span>.</p>
//<div id="example" style="display:none">
//	inhoud div
//</div>
//-->
	{
		var obj = (document.getElementById)? document.getElementById(name) : eval("document.all[name]");
		if (obj.style.display=="none")
		{
			obj.style.display="";
		}
		else
		{
			obj.style.display="none";
		}
	}
	
//-->
