function showMenu() {
	if($('#sauce_menu').is(':hidden')) {
		$("#sauce_menu").show();
	}
}
function hideMenu() {
	if($('#sauce_menu').is(':visible')) {
		$("#sauce_menu").hide();	
	}
}