// functions for jku employee search, Lucas Mayr 2008

function incPage(increment){
  var fp = document.getElementById('perssearch_page')
  fp.value = parseInt(fp.value) + increment
  document.pers_search.submit()
}

function setPage(page, submit){
  var fp = document.getElementById('perssearch_page').value = page
  if(submit){
    document.pers_search.submit()
  }
}

function resetGUID(){
  document.getElementById('perssearch_guid').value=""
}