function show(c1,c2) {
		document.getElementById(c1).className='';
		document.getElementById(c2).className='dn';		
		document.getElementById(c1).class='';
		document.getElementById(c2).class='dn';
	}

	function agetinfo(c) {
		document.getElementById('infobox').innerHTML=document.getElementById('pro_'+c).innerHTML;
		document.getElementById('infobox').className='infobox';
		document.getElementById('infobox').class='infobox';	
	}
	
	function dgetinfo() {
		document.getElementById('infobox').innerHTML='';
		document.getElementById('infobox').className='';
		document.getElementById('infobox').class='';
	}