function getQueryVariable(variable) {
  var query = window.location.search.substring(1);
  var vars = query.split("&");
  for (var i=0;i<vars.length;i++) {
    var pair = vars[i].split("=");
    if (pair[0] == variable) {
      return pair[1];
    }
  }
  return 0;
}

//submit pager form
function submit_pager(inst, page){
	
	if (inst == 1){
		document.pager_form_1.page.value = page;
		document.pager_form_1.submit();

	}
	else{
		document.pager_form_2.page.value = page;
		document.pager_form_2.submit();
	}
}