/* ==================================================== */
/* ==================================================== */
/*
	browserchecks
	
		IS_MOZ
		IS_IE
		IS_SAFARI
		
		IS_OPERA
		
		IS_WIN
			VERSION_IS
		IS_MAC
			IS_OSX
*/
/* ==================================================== */
var inCMSMode;

if(navigator)
{
	user = navigator;
	IS_MOZ = (user.appName.toLowerCase().indexOf("netscape") != -1);
	IS_IE = (user.appName.toLowerCase().indexOf("internet") != -1);
	IS_SAFARI = (user.userAgent.toLowerCase().indexOf("safari") != -1);
	
	IS_OPERA = (user.appName.toLowerCase() == "opera");
	
	if(user.userAgent.indexOf("Opera")>-1)
	{
		IS_IE = false;
		IS_OPERA = true;
	}
	// browser version
	if (user.appVersion)
	{  // don't try to parseInt a string (NA = "")
		VERSION_IS = parseInt(user.appVersion);
		if (IS_IE)
		{  
			VERSION_IS = parseFloat(user.userAgent.split("MSIE")[1].split(";")[0]);
		}
	}
	if (user.userAgent && user.appVersion)
	{
		agt = user.userAgent.toLowerCase();  
		IS_WIN = ((agt.indexOf("win") != -1) || (agt.indexOf("16bit") != -1));
		IS_MAC = (agt.indexOf("mac") != -1);
		
		IS_OSX = IS_MAC && (agt.indexOf("os x") != -1);
	}
}	

// ==========================================================

if(IS_MAC && IS_IE)
{
	document.writeln("<style>");
	document.writeln("	html{height:auto;}");
	document.writeln("</style>");
}

if(IS_MAC)
{

	document.writeln("<style>");
	document.writeln("	div.navigatie {}");
	document.writeln("</style>");
}

/* ====================================================================== */
/* ======       <a href="#" onmouseover="mOver(this);"></a>          ================== */
/* ====================================================================== */

function mOver(aObj){
	imgObj = aObj.getElementsByTagName('input');
	
	imgObj[0].src = imgObj[0].src.replace("_normal.","_over.");
	
	aObj.onmouseout = function()
	{
		imgObj[0].src = imgObj[0].src.replace("_over.","_normal.");
	}
}

function onSearchKey(e, id) {
    var keynum;
    var keychar;
    var numcheck;
    var button;

    if (window.event) // IE
    {
        keynum = e.keyCode;
    }
    else if (e.which) // Netscape/Firefox/Opera
    {
        keynum = e.which;
    }

    button = document.getElementById(id);

    if (button != null) {
        if (keynum == 13) {
            if (button.click != null) {
                button.click();
            }
        }
    }
}