function rlw_su($id) {
	document.getElementById($id).className='pulsanti_su';
	
	}
	function rlw_giu($id) {
	document.getElementById($id).className='pulsanti_giu';
	
	}