var pictstyle;

function imgNoHoover(id)
{
	var el=document.getElementById(id);
	if ( id=='pict1' ) { p='auto_1_1.png'; }
	else if ( id=='pict2' ) { p='voetbal_2_1.png'; }
	else if ( id=='pict3' ) { p='wielrennen_3_1.png'; }
	else if ( id=='pict4' ) { p='zaalsporten_4_1.png'; }
	else if ( id=='pict5' ) { p='cultuur_5_1.png'; }
	else if ( id=='pict6' ) { p='hospitality_6_1.png'; }
	el.setAttribute('src',p);
}

function imgHoover(id)
{
	var el=document.getElementById(id);
	if ( id=='pict1' ) p='auto_1.png';
	else if ( id=='pict2' ) p='voetbal_2.png';
	else if ( id=='pict3' ) p='wielrennen_3.png';
	else if ( id=='pict4' ) p='zaalsporten_4.png';
	else if ( id=='pict5' ) p='cultuur_5.png';
	else if ( id=='pict6' ) p='hospitality_6.png';
	el.setAttribute('src',p);
}

/***********************************************
* Static Menu script- by JavaScript Kit (www.javascriptkit.com)
* This notice must stay intact for usage
* Visit JavaScript Kit at http://www.javascriptkit.com/ for this script and 100s more
***********************************************/

//ids of menus to keep static on page (must be absolutely positioned, with left/top attribute added inline inside tag)
//Separate multiple ids with a comma (ie: ["menu1", "menu2"]
var staticmenuids=["staticmenu"]

var staticmenuoffsetY=[]

function getmenuoffsetY(){
	for (var i=0; i<staticmenuids.length; i++){
		var currentmenu=document.getElementById(staticmenuids[i])
	 staticmenuoffsetY.push(isNaN(parseInt(currentmenu.style.top))? 0 : parseInt(currentmenu.style.top))
	}
		initstaticmenu()
}

function initstaticmenu(){
	var iebody=(document.compatMode && document.compatMode!="BackCompat")? document.documentElement : document.body
	var topcorner=(window.pageYOffset)? window.pageYOffset : iebody.scrollTop
	for (var i=0; i<staticmenuids.length; i++)
		document.getElementById(staticmenuids[i]).style.top=topcorner+staticmenuoffsetY[i]+"px"
	setTimeout("initstaticmenu()", 100)
}

if (window.addEventListener)
window.addEventListener("load", getmenuoffsetY, false)
else if (window.attachEvent)
window.attachEvent("onload", getmenuoffsetY)