// scripts for navigation


window.onload = pLinks;
function pLinks(){
var a=document.getElementsByTagName("a");
  for(var i=0;i<a.length;i++) {
    var anchor=a[i];
    if(anchor.getAttribute("class")=="pop_up") {
      anchor.target="_blank"
    }
  }
}