function buttonOver(vButton) {
	document.getElementById(vButton).src = 'images/pijl2.gif';
}
		
function buttonOut(vButton) {
	document.getElementById(vButton).src = 'images/pijl1.gif';
}