document.write('<META http-equiv="Page-Exit" CONTENT="progid:DXImageTransform.Microsoft.Fade(duration=0.3,overlap=1.0);  " />');


if (top.frames.length !=0)
	{top.location.href= "index.htm"} ;

function actomsg(txt) { window.status=txt; }

/*
// (C) 2004 CodeLifter.com

function nrcIE(){
	if (document.all){return false;}}
function nrcNS(e){
	if(document.layers||(document.getElementById&&!document.all)){ 
	if (e.which==2||e.which==3){
	return false;}}} 
	if (document.layers){
	document.captureEvents(Event.MOUSEDOWN);
	document.onmousedown=nrcNS;
	}else{document.onmouseup=nrcNS;document.oncontextmenu=nrcIE;}
	document.oncontextmenu=new Function("return false");

*/

// ############### stijlwisseling TEKSTVLAK GROOT/KLEIN #####################################

function tekstvlak(optie, toestand) {
	identity=top.document.getElementById(optie);
	identity.className=toestand;
}

function toestand(optie, toestand) {
	identity=top.document.getElementById(optie);
	identity.className=toestand;
}

function openofsluit(optie) {
	identity=top.document.getElementById(optie);
	toestand=identity.className;
	if (toestand=='groot') 	{ identity.className='klein'; }
	else			{ identity.className='groot'; }
}


// ############### stijlwisseling: Achtergrondkleur aanpassen bij onMouseOver #####################################
//
//	activeren via bijv:  <div class="kolom3" onmouseout="achtergrondkleur(this, 'wit');" onmouseover="achtergrondkleur(this, 'pastel');" > ... </div>
//
//	'wit' doet hier op zich trouwens niets, het zou ook elke andere waarde kunnen zijn.

function achtergrondkleur(objRef, kleur) {
			objRef.style.backgroundColor = ('pastel' == kleur) ? '#FEF9F3' : '#FFFFFF';
			objRef.style.borderColor     = ('pastel' == kleur) ? '#F4C994' : '#FFFFFF';
			return;
		}
		

// ############### Google Analytics (per mei 2011) #################################################################

  var _gaq = _gaq || [];
  _gaq.push(['_setAccount', 'UA-1822462-1']);
  _gaq.push(['_trackPageview']);

  (function() {
    var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
    ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
    var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
  })();

// ##################################################################################################################