function flip_user_panel() {
  if (document.getElementById('user_panel').className=='user_panel_off') {
      document.getElementById('user_panel').className='user_panel_on';
      document.getElementById('swith_panel').innerHTML='-';
  } else {
      document.getElementById('user_panel').className='user_panel_off';
      document.getElementById('swith_panel').innerHTML='+';
  }
}