function expand_menu(elem){
	if(elem == "mitem3"){
		document.getElementById('floating').style.visibility = 'visible';
	}
	else{
		document.getElementById('floating').style.visibility = 'hidden';
	}
}

function collapse_menu(){
		document.getElementById('floating').style.visibility = 'hidden';
}