$$('div#menu img.menubutton').each( function( e )
{
	$(e).observe( 'mouseover', function( ev )
	{
		$(this).setAttribute( 'src', 'images/buttons/' + $(this).getAttribute( 'name' ) + '_ov.gif' );
	});

	$(e).observe( 'mouseout', function( ev ) 
	{
		$(this).setAttribute( 'src', 'images/buttons/' + $(this).getAttribute( 'name' ) + '.gif' );
	});
});

function formArbeidsuren( p_oReference )
{
	if( p_oReference.value == 'Deeltijd' || p_oReference.value == 'Vakantiewerk' )
	{
		document.getElementById('gewenste_arbeidsuren').value = "";
		document.getElementById('gewenste_arbeidsuren').disabled = false;
	}
	else
	{
		document.getElementById('gewenste_arbeidsuren').value = "nvt";
		document.getElementById('gewenste_arbeidsuren').disabled = true;
	}
}