/*Begin img functies*/
function img_hover1(optie){
    document.getElementById(optie).src="/images/menu/"+optie+"_hover.gif"
}
function img_out1(optie){
        document.getElementById(optie).src="/images/menu/"+optie+".gif"
}