/* 
   Alle client-side Javascript wat nodig is voor de main-pagina om o.a. het menu te bedienen
*/

// Openen van de main-pagina in een ander frameset voorkomen
if (top.frames.length != 0)
   {top.location = self.document.location};

// Animated-GIF al laden ivm performance
var hoihoi = new Image();
hoihoi.src = 'img/hoihoi_anim.gif';

// Wat functies om van GIF te wisselen
function ToonAnim(imgnaam)
{
 document.images[imgnaam].src = 'img/' + imgnaam + '_anim.gif';
}
function VerbergAnim(imgnaam)
{
 document.images[imgnaam].src = 'img/' + imgnaam + '.gif';
}

// Mailtje sturen aan mij via mailclient
function VerstuurMail()
{
 // Poging om spambots voor de gek te houden
 var cNaar = "m" + "ailt" + "o:x-ray";
 cNaar += "@";
 cNaar += "hoi-h" + "oi.nl";
 window.location=unescape(cNaar);
 return true;
}

function ToonUpdateInfo() {
 var nWidth = 450;
 var nHeight = 300;
 var nTop = (screen.availHeight - nHeight) / 2;
 var nLeft = (screen.availWidth - nWidth) / 2;
 var cProperties = "top=" + eval(nTop);
 cProperties += ", left=" + eval(nLeft);
 cProperties += ", height=" + eval(nHeight);
 cProperties += ", width=" + nWidth;
 cProperties += ", scrollbars=yes, resizable=no, menubar=no, toolbar=no, status=no, location=no";

 window.open("updateinfo.asp", "updateinfo", cProperties);
 return true;
}

// Wat variabelen declareren voor menu-besturing
var nVerbergSubmenu = 2000;  // Aantal milliseconden voordat de submenus weer verstopt worden
var tTimerSubmenu = null;  // Variabele voor opslaan timer-ID

// Aangewezen menuoptie wijzigen en submenu tonen
function ToonSubmenu(nMenu) {
VerbergSubmenus();
document.getElementById("menu"+nMenu).style.backgroundColor='#FFFFCC';
document.getElementById("submenu"+nMenu).style.display='inline';
tTimerSubmenu = setTimeout('VerbergSubmenus()', nVerbergSubmenu);
return true;
}

// Volledige menu herstellen/inactiveren
function VerbergSubmenus() {
clearTimeout(tTimerSubmenu);
tTimerSubmenu = null;

for (var n=1; n <= 4; n++)
   {document.getElementById("menu"+n).style.backgroundColor='transparent';
    document.getElementById("submenu"+n).style.display='none';
   }
return true;
}

