<!--

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

function set_id_value(id,value){
	document.getElementById(id).value=value;
}
-->