// div toggle
function toggle_visible(id) {
		 var obj = document.getElementById(id);
		 if (obj.style.display=='')
			obj.style.display = 'none';
		 else
			obj.style.display = '';
}	


// JavaScript Document
function FIN(string)
{
	if(string != undefined) {
		document.write(string);
	}
}