function getLeft(element) {
result = element.offsetLeft;
if (element.offsetParent) result += getLeft(element.offsetParent);
return result;
}

function getTop(element) {
result = element.offsetTop;
if (element.offsetParent) result += getTop(element.offsetParent);
return result;
}

function von (a,t,l) {
  a.style.left = l+240;
  a.style.top = t-5;
  a.style.visibility = "visible";
}
function voff(a) {
  a.style.visibility = "hidden";
}

String.prototype.printAddr = 
function (_hamper,_prefix,_postfix,_face) {
  _hamper=
  _prefix+
  "@"+
  this+
  (_postfix || '')
  document.write((_face||_hamper).link("mailto:"+_hamper));
}
