function clearDefault(el) {
  if (el.defaultValue==el.value){
    el.value = "";
    el.size="9";
    }
}

function buildArray() {
  var a = buildArray.arguments;
  for (i=0; i<a.length; i++) {
    this[i] = a[i];
  }
  this.length = a.length;
}

function goModel (entry) {
  var url = "info_page.php?vipPDB=" + entry;
  location.href = url;
}

function goEM_Model (entry) {
  var url = "em_info_page.php?vipPDB=" + entry;
  location.href = url;
}

function By_ID(entry){
  entry = entry.toLowerCase();
  window.location="info_page.php?vipPDB=" + entry;
}