// ---- // // ***********************************************
// ---- // // disabelen rechtermuis
// ---- // // ***********************************************
// ---- // 
// ---- // var isNS = (navigator.appName == "Netscape") ? 1 : 0;
// ---- // var EnableRightClick = 0;
// ---- // if(isNS) 
// ---- // document.captureEvents(Event.MOUSEDOWN||Event.MOUSEUP);
// ---- // 
// ---- // function mischandler(){
// ---- //   if(EnableRightClick==1){ return true; }
// ---- //   else {return false; }
// ---- // }
// ---- // function mousehandler(e){
// ---- //   if(EnableRightClick==1){ return true; }
// ---- //   var myevent = (isNS) ? e : event;
// ---- //   var eventbutton = (isNS) ? myevent.which : myevent.button;
// ---- //   if((eventbutton==2)||(eventbutton==3)) return false;
// ---- // }
// ---- // function keyhandler(e) {
// ---- //   var myevent = (isNS) ? e : window.event;
// ---- //   if (myevent.keyCode==96)
// ---- //     EnableRightClick = 1;
// ---- //   return;
// ---- // }
// ---- // document.oncontextmenu = mischandler;
// ---- // document.onkeypress = keyhandler;
// ---- // document.onmousedown = mousehandler;
// ---- // document.onmouseup = mousehandler;
// ---- // 
// ---- // //einde code disabelen rechtermuis
// ---- // 
// ---- // // start code disabelen statusbar:werkt in IE, werkt NIET in firefox
// ---- // 
// ---- // var text = "De Transdreams pagina";
// ---- // var size = 200;
// ---- // var position = -(size + 2);
// ---- // 
// ---- // function hsb(speed)
// ---- // {position++;
// ---- //  var output = "";
// ---- //  if (position == text.length) position = -(size + 2);
// ---- //  if (position < 0)  
// ---- //     {for (i = 1; i <= Math.abs(position); i++) output = output + " ";
// ---- //      output = output + text.substring(0,size - i + 1); }
// ---- //  else {output = output + text.substring(position, size+position);}
// ---- //  window.status = output;
// ---- //  setTimeout("hsb(" +speed+ ")",speed);}
// ---- // // einde code disabelen statusbar


function dispdate()
{var months=new Array(13);
months[1]="January";
months[2]="February";
months[3]="March";
months[4]="April";
months[5]="May";
months[6]="June";
months[7]="July";
months[8]="Augustus";
months[9]="September";
months[10]="Oktober";
months[11]="November";
months[12]="December";
var time=new Date();
var lmonth=months[time.getMonth() + 1];
var date=time.getDate();
var year=time.getYear();
if (year < 2000)
year = year + 1900;
document.write("<div align=right>" + lmonth + " " + date + " " + year + "</div>");}