// Variables
var bName = navigator.appName;
var bVersion = parseInt(navigator.appVersion);
var NS4 = (bName == "Netscape" && bVersion >= 4);
var IE4 = (bName == "Microsoft Internet Explorer" && bVersion >= 4);

function display(str) 
{
if (!parent || !parent.menu || !parent.menu.document) return;
  if (NS4 || IE4) 
  { 
    if (NS4) 
    { 
      with (parent.menu.document["IDX"].document) 
      {
        open(); 
        write(str); 
        close(); 
      }
    } else {if (parent.menu.document.all["IDX"]) { 
      parent.menu.document.all["IDX"].innerHTML = str; 
    }}
  }
}

function menuline(nr, item, vitem){
var str = "<P><A ";
var href = item.replace(" ", "%20");
if (item==vitem){
str = str + " CLASS=\"highitem\" STYLE=\"color=\'#FF0000\'\""
}else{
str = str + " CLASS=\"item\" STYLE=\"color=\'000066\'\""
}
str = str + " HREF=\"" + href + nr + ".html\" target=\"main\">" + item + "</A>\n";
return str;
}

function menu1(vitem){
if (!parent || !parent.menu) parent.document.location.replace("d_index1.html");
if (bVersion < 4) return;
var str ="<P>generated by script</P>";
str="";
str = str + menuline(1, "algemeen", vitem);
str = str + menuline(1, "actueel", vitem);
str = str + menuline(1, "publicaties", vitem);
str = str + menuline(1, "projecten", vitem);
str = str + menuline(1, "overige activiteiten", vitem);
str = str + menuline(1, "curriculum vitae", vitem);
str = str + menuline(1, "adres", vitem);
str = str + "<BR><P><A CLASS=\"item\" STYLE=\"color=\'#000066\'\" HREF=\"index.html\" target=\"_parent\"> home</A>";
display(str);
}

function menu2(vitem){
if (!parent || !parent.menu) parent.document.location.replace("d_index2.html");
if (bVersion < 4) return;
var str ="<P>generated by script</P>";
str="";
str = str + menuline(2, "algemeen", vitem);
str = str + menuline(2, "actueel", vitem);
str = str + menuline(2, "publicaties", vitem);
str = str + menuline(2, "schrijfster", vitem);
str = str + menuline(2, "recensies", vitem);
str = str + menuline(2, "vertalingen", vitem);
str = str + menuline(2, "uittreksels", vitem);
str = str + menuline(2, "adres", vitem);
str = str + "<BR><P><A CLASS=\"item\" STYLE=\"color=\'#000066\'\" HREF=\"index.html\" target=\"_parent\"> home</A>";
display(str);
}

function e_menu1(vitem){
if (!parent || !parent.menu) parent.document.location.replace("e_index1.html");
if (bVersion < 4) return;
var str ="<P>generated by script</P>";
str="";
str = str + menuline(1, "general information", vitem);
str = str + menuline(1, "curriculum  vitae", vitem);
str = str + menuline(1, "projects", vitem);
str = str + menuline(1, "english publications", vitem);
str = str + menuline(1, "address", vitem);
str = str + "<BR><P><A CLASS=\"item\" STYLE=\"color=\'#000066\'\" HREF=\"e_index.html\" target=\"_parent\"> home</A>";
display(str);
}

function e_menu2(vitem){
if (!parent || !parent.menu) parent.document.location.replace("e_index2.html");
if (bVersion < 4) return;
var str ="<P>generated by script</P>";
str="";
str = str + menuline(2, "general information", vitem);
str = str + menuline(2, "translations", vitem);
str = str + menuline(2, "address", vitem);
str = str + "<BR><P><A CLASS=\"item\" STYLE=\"color=\'#000066\'\" HREF=\"e_index.html\" target=\"_parent\"> home</A>";
display(str);
}