// 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";}
	}

function change_pic(pic_id,new_pic)
	{tmp_obj = document.getElementById(pic_id);
	tmp_obj.src = new_pic;
	}