<!--

function seen_unseen(id){
	document.getElementById(id).style.display=(document.getElementById(id).style.display=="none")?"block":"none";
}


function seen(id){
	document.getElementById(id).style.display="block";
}

function unseen(id){
	document.getElementById(id).style.display="none";
}

function change_title(new_title){
	document.title=new_title;
}
function oni(gi) {
	var m=document.getElementById("preview");
	var ms=m.getElementsByTagName("div");
	for(i=ms.length-1;i>=0;i--){
		if(ms[i].id.indexOf(gi)!=-1) ms[i].style.visibility="visible"; else ms[i].style.visibility="hidden";
	}
	
}
//-->