var search_hidden = 1;

function ShowSearch(){
    if(search_hidden == 1){
      $('div#search-bar').fadeIn();
      search_hidden = 0;
    }
    else{
      $('div#search-bar').fadeOut();
      search_hidden = 1;
    }
}
