var order=1 

function Dump(txt) {
 document.write(txt+"<br/>")
}

function MouseOver(e) {
 e.style.zIndex=order++
 return(false)
}

function pos() {

 var x_prev, y_prev

 with(document.body) {  
  var ch=clientHeight; 
  var cw=clientWidth;
 }

 var x0=cw/2			/* center screen */
 var y0=ch/2			/*	,,	 */
 var v=cw/ch			/* screen width/height ratio */

 var r=Math.min(cw,ch)/4+15	/* radius */

 // Constants, instellen per site:
 var imgcount  = 7	/* number of items */
 var imgwidth  = 322	/* width div incl. border */
 var imgheight = 242	/* height     ,,          */

 var rot = 0

 order = imgcount + 1 /* moet meer zijn dan imgcount */

 for (var step=0; step<imgcount; step++) {
  rot += 6.28318530717958 / imgcount 
  var obj=document.getElementById("pic"+step)
  var x = Math.round(x0-r*Math.cos(rot)*v-imgwidth /2)
  var y = Math.round(y0-r*Math.sin(rot)  -imgheight/2)

  if (Math.round(x)==Math.round(x_prev)) {x+=10}
  if (Math.round(y)==Math.round(y_prev)) {y+=10}

  x_prev=x
  y_prev=y

  with (obj.style) {
   left=x+"px"
   top=y+"px"
   zIndex=imgcount-step-1
   visibility="visible"
  }
 }
 return
}

function DisplayDate(dateString) {	
 d = new Date(dateString);
 if  (d.getYear()>1900)                   { return " "+d.getDate()+"-"+(d.getMonth()+1)+"-"+(d.getYear()     );}
 if ((d.getYear()<1900)&(d.getYear()>50)) { return " "+d.getDate()+"-"+(d.getMonth()+1)+"-"+(d.getYear()+1900);}
 if  (d.getYear()<51)                     { return " "+d.getDate()+"-"+(d.getMonth()+1)+"-"+(d.getYear()+2000);}		
}