var divs = ['m1', 'm2', 'm3', 'm4', 'm5', 'm6'];
    function changeBGColor(a){
        for(i=0; i<divs.length; i++){
        document.getElementById(divs[i]).style.backgroundImage = 'url(IMG/menu.gif)';
		}
    document.getElementById(a).style.backgroundImage = 'url(IMG/menutab.gif)';
    }