if (typeof(fixed) === 'undefined') var fixed= false;

function menufix(src1,alt1,src2,alt2) {
  if (fixed === false) {  
    fixed= true;
    document.getElementById("navi").style.position= "fixed";
    document.getElementById("pin_img").src= src2;
    document.getElementById("pin_img").alt= alt2;
    document.getElementById("pin_img").title= alt2;
  }
  else {
    fixed= false;
    document.getElementById("navi").style.position= "static";
    document.getElementById("pin_img").src= src1;
    document.getElementById("pin_img").alt= alt1;
    document.getElementById("pin_img").title= alt1;
  }
}

function concat_parts(loc_part,dom_part) {
  aet= String.fromCharCode(64);
  return (loc_part+aet+dom_part);
}