// deze menu() functie plaatst een menu in de pagina.
// door een naam mee te geven kan een menu item "uit" gezet worden.
// Engelse versie

function menu(MName) {

var CallList = "home|biog|publ|down|vide|gast";
var MenuList = "Home|Personal Data|Recent and representative publications|Books to download|Video|Guestbook";
var LinkList = "index_en.html|biografie_en.html|publicaties_en.html|download_en.html|JavaScript:var dummy = window.open('video/video_en.html','Video','toolbar=no,scrollbars=yes,resizable=no,width=460,height=500');|guestbook.php";
CallArr = CallList.split("|");
MenuArr = MenuList.split("|");
LinkArr = LinkList.split("|");
var NumItems = MenuArr.length;

for (a=0; a<NumItems; a++) {
	if (CallArr[a] == MName) {
	   // item is "off"
	   document.write('<p><img src="pix/icon_arr_red.gif" alt="" height="8" width="14" align="absmiddle" border="0"><span class="rmenu_disabled">');
	   document.write(MenuArr[a]);
	   document.write('</span></p>');
 	} else {
 	   // item is a link
       document.write('<p><img src="pix/icon_plus.gif" alt="" height="8" width="14" align="absmiddle" border="0"><a href="' + LinkArr[a] + '" " class="rmenu_link">');
	   document.write(MenuArr[a]);
	   document.write('</a></p>');

    }
}

return;

}