// 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.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 + " ID=\"curitem\" "
};
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");
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 HREF=\"index.html\" target=\"_parent\"> home</A>";
display(str);
}

function menu2(vitem){
if (!parent || !parent.menu) parent.doument.location.replace("d_index2.html");
str="";
str = str + menuline(2, "algemeen", vitem);
str = str + "<BR><P><A HREF=\"index.html\" target=\"_parent\"> home</A>";
display(str);
}

function e_menu1(vitem){
if (!parent || !parent.menu) parent.document.location.replace("e_index1.html");
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 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");
str="";
str = str + menuline(2, "general information", vitem);
str = str + "<BR><P><A HREF=\"e_index.html\" target=\"_parent\"> home</A>";
display(str);
}

function sendtomenu1(str) {
if (NS4) {parent.menu.postMessage(str, "*")}
else {menu1(str)};
}
function sendtomenu2(str) {
if (NS4) {parent.menu.postMessage(str, "*")}
else {menu2(str)};
}
function sendtoe_menu1(str) {
if (NS4) {parent.menu.postMessage(str, "*")}
else {e_menu1(str)};
}
function sendtoe_menu2(str) {
if (NS4) {parent.menu.postMessage(str, "*")}
else {e_menu2(str)};
}

function install1(){
if (NS4) {window.addEventListener("message", function (event){menu1(event.data)}, false)};
}
function install2(){
if (NS4) {window.addEventListener("message", function (event){menu2(event.data)}, false)};  
}
function e_install1(){
if (NS4) {window.addEventListener("message", function (event){e_menu1(event.data)}, false)};  
}
function e_install2(){
if (NS4) {window.addEventListener("message", function (event){e_menu2(event.data)}, false)};  

}
