// JavaScript Document

function infobar(name,description){
	var info_area = document.getElementById("ci_right");
	var desc = document.createTextNode(name+" - "+description);
	info_area.appendChild(desc);
}

function infobarout(){
	var info_area = document.getElementById("ci_right");
	var desc = info_area.firstChild;
	info_area.removeChild(desc);
}