<!--
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';
}

function showhide2(id){
var el = document.getElementById(id);
el.style.display = (el.style.display=='block')? 'none': 'block';
}

// -->