function trim(str) {
	return str.replace(/^\s*/,'').replace(/\s*$/,'');
}
function show(id_id){
	document.getElementById(id_id).style.display = (document.getElementById(id_id).style.display == 'none'?'block':'none');
}