function border(elem_id, colour) {
		document.getElementById(elem_id).style.borderColor = colour;
	}
	
	
	function change_img(img, fn) {
		img.src = "/_images/" + fn;
	}
	
	
	function menu(menu_id, display) {
		document.getElementById(menu_id).style.display = display;
	}

	
	function set_bg(eleID, bgColour) {
		document.getElementById(eleID).style.backgroundColor = bgColour;	
	}
	
		
	function show_hide(id, state) {
		document.getElementById(id).style.display = state;
	}


	function toggle_frame(frame, op) {
		
		if (op) {
			document.getElementById(frame).style.visibility = op;
		} else {
			document.getElementById(frame).style.visibility = (document.getElementById(frame).style.visibility == 'visible') ? 'hidden' : 'visible';
		}
	}