function jumpTo(d){
  window.location.href = "page.php?P="+d;
}