// JavaScript Document
function div_hide(obj_id,do_hide){
	if (do_hide){
		document.getElementById(obj_id).style.display = "none";
	}else{
		document.getElementById(obj_id).style.display = "inline";
	}
}