$(document).ready(function () {
  $(".prev_page").click(function() { 
    if(state_machine.get_has_prev_page()) { page(-1); }
  });

  $(".next_page").click(function() {
    if(state_machine.get_has_next_page()) { page(1); }
  });
});

function Pagination() {
  this.page = page;
  this.update_nav = update_nav;
}

function update_nav() {
  $(".nav_current_page").html(state_machine.get_get_data()["page_num"]);
  $(".nav_last_page").html(state_machine.get_last_page());
  $(".nav_total_properties").html(FormatNumber(state_machine.get_total_properties())); 
}

function page(_mod) {
  page_num = parseInt(state_machine.get_get_data()["page_num"]);
  if(_mod==1) {
    state_machine.set_page_num(page_num+1);
  } else {
    state_machine.set_page_num(page_num-1);
  }
  list_properties_ajax.get_properties_list();    
}