var highlightImg = function(img) {
    return true;
};

var toggleEl = function(el_id){
    el = document.getElementById(el_id);
    if(el.style.display == "none"){
	el.style.display = "inline";
    }else{
	el.style.display = "none";
    }
};

var toggleElements = function(el_id_array){
    for(var i = 0; i < el_id_array.length; i += 1){
	toggleEl(el_id_array[i]);
    }
    return false;
};