function MM_openBrWindow(theURL,winName,features) {
  window.open(theURL,winName,features);
}

function stbar(txt){
 top.window.status=txt;
}

function showimg(plaatje){
 document.images.Himage.src=plaatje;
}