function show_div(div_id) {
	    // hide all the divs
	    document.getElementById('officeList').style.display = 'none';
	    document.getElementById('agentList').style.display = 'none';
	
	    // show the requested div
	    document.getElementById(div_id).style.display = 'block';
	}