<!--
function trim(str) {
	return str.replace(/^\s*/,'').replace(/\s*$/,'');
}

function showhide(id){
var el = document.getElementById(id);
el.style.visibility = (el.style.visibility=='visible')? 'hidden': 'visible';
}


// -->