var submenu=new Array()
submenu[0]=''
submenu[1]=''
submenu[3]=''
submenu[4]=''
submenu[5]=''
submenu[6]=''
var pauze=1500
var menuobj=document.getElementById? document.getElementById("menuitems") : document.all? document.all.menuitems : document.layers? document.dep1.document.dep2 : ""
function toon_subs(nummer){
start_pauze()
inhoud=(nummer==-1)? "" : submenu[nummer]
if (document.getElementById||document.all)
menuobj.innerHTML=inhoud
else if (document.layers){
menuobj.document.write(inhoud)
menuobj.document.close()
}
}
function reset(e){
if (document.all&&!menuobj.contains(e.toElement))
aantal_milliseconden_zichtbaar=setTimeout("toon_subs(-1)",pauze)
else if (document.getElementById&&e.currentTarget!= e.relatedTarget&& !voor_ns6(e.currentTarget, e.relatedTarget))
aantal_milliseconden_zichtbaar=setTimeout("toon_subs(-1)",pauze)
}
function start_pauze(){
if (window.aantal_milliseconden_zichtbaar)
clearTimeout(aantal_milliseconden_zichtbaar)
}
function voor_ns6(a, b) {
while (b.parentNode)
if ((b = b.parentNode) == a)
return true;
return false;
}