function show_hide_div($div_id, $delay){
	if ($delay!=null){
		setTimeout("show_hide_div('"+$div_id+"')", $delay);
	}
	else{
		$div=document.getElementById($div_id);
		if ($div.style.display=='none')
			$div.style.display='';
		else $div.style.display='none';
	}
}