// JavaScript Document

function doRollover(knop_rollover){
	knop_rollover.style.backgroundColor = "#2293fc";
	link_knop = knop_rollover.getElementsByTagName('a')[0];
	link_knop.style.color = "#ffffff";
}

function undoRollover(knop_rollover){
	knop_rollover.style.backgroundColor = "#ffffff";
	link_knop = knop_rollover.getElementsByTagName('a')[0];
	link_knop.style.color= "#223263";
}