function show_hide(el) {
	if( window.document.getElementById(el).style.display=="none" ) {
		window.document.getElementById(el).style.display="block"
	}
	else {
		window.document.getElementById(el).style.display="none"	
	}
}