var ns6=document.getElementById&&!document.all
var ie=document.all

function changeto(e,highlightcolor){
source=ie? event.srcElement : e.target
if (source.tagName=="TR"|source.tagName=="TABLE")
return
while(source.tagName!="TD"&&source.tagName!="HTML")
source=ns6? source.parentNode : source.parentElement
if (source.style.backgroundColor!=highlightcolor&&source.id!="ignore")
source.style.backgroundColor=highlightcolor
}

function contains_ns6(master, slave) { //check if slave is contained by master
while (slave.parentNode)
if ((slave = slave.parentNode) == master)
return true;
return false;
}

function changeback(e,originalcolor){
if
(ie&&(event.fromElement.contains(event.toElement)||source.contains(event.toElement)||source.id=="ignore")||source.tagName=="TR"||source.tagName=="TABLE")
return
else if (ns6&&(contains_ns6(source, e.relatedTarget)||source.id=="ignore"))
return
if (ie&&event.toElement!=source||ns6&&e.relatedTarget!=source)
source.style.backgroundColor=originalcolor
}

if (document.images) {
  var choff = new Image(); // for the inactive image
  choff.src = "/images/ch.gif";
  var chon = new Image(); // for the active image
  chon.src = "/images/chon.gif";
}

function act_ch() {
  if (document.images)
    document.images.ch.src = chon.src;
}

function inact_ch() {
  if (document.images)
    document.images.ch.src = choff.src;
}

if (document.images) {
  var thoff = new Image(); // for the inactive image
  thoff.src = "/images/th.gif";
  var thon = new Image(); // for the active image
  thon.src = "/images/thon.gif";
}

function act_th() {
  if (document.images)
    document.images.th.src = thon.src;
}

function inact_th() {
  if (document.images)
    document.images.th.src = thoff.src;
}

//-->
var boodschap = ''; 
function dgstatus()

{

      window.status = boodschap;
 timerID= setTimeout("dgstatus()", 1);

}

<!--
dgstatus();
//-->


function getdatetime() {
     var mydate=new Date()
      var year=mydate.getYear()
      if (year < 1000)
      year+=1900
      var day=mydate.getDay()
      var month=mydate.getMonth()
      var daym=mydate.getDate()
      if (daym<10)
      daym="0"+daym
      var dayarray=new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat")
      var montharray=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
      document.write(dayarray[day]+", "+daym+" "+montharray[month]+" "+year)
}




if (window.Event) 
  document.captureEvents(Event.MOUSEUP); 

function nocontextmenu() 
{
 event.cancelBubble = true
 event.returnValue = false;

 return false;
}
 
function norightclick(e) 
{
 if (window.Event) 
 {
  if (e.which == 2 || e.which == 3)
   return false;
 }
 else
  if (event.button == 2 || event.button == 3)
  {
   event.cancelBubble = true
   event.returnValue = false;
   return false;
  }

}

document.oncontextmenu = nocontextmenu;  // for IE5+
document.onmousedown = norightclick;  // for all others

var ns4class='' //right menu links