function swapMainMenu(welke)  {

	var waarde = substr(welke.src, -5, 1);	
	var filename = substr(welke.src, -7, 1);	
	
	//alert(window.actief + ' en ' + filename);
	
	
	if(waarde==0 || window.actief==filename) { nieuwe = 1;}
	else if(waarde==1) { nieuwe = 0;}
	
	var src = '/images/nav_' + filename + '_' + nieuwe + '.gif';	
	welke.src= src;
}












function substr( f_string, f_start, f_length ) {
    // Return part of a string
    // 
    // +    discuss at: http://kevin.vanzonneveld.net/techblog/article/javascript_equivalent_for_phps_substr/
    // +       version: 804.1712
    // +     original by: Martijn Wieringa
    // *         example 1: substr('abcdef', 0, -1);
    // *         returns 1: 'abcde'

    if(f_start < 0) {
        f_start += f_string.length;
    }

    if(f_length == undefined) {
        f_length = f_string.length;
    } else if(f_length < 0){
        f_length += f_string.length;
    } else {
        f_length += f_start;
    }

    if(f_length < f_start) {
        f_length = f_start;
    }

    return f_string.substring(f_start, f_length);
}// }}}