// JavaScript Document
  var email = new Array('i','n','f','o','@','a','r','t','4','w','e','b','.','c','z');
  function em(ref) {
    ref.href = hrf;
  }
  emil = document.getElementById("emil");
  var mto = "";
  var hrf='mailto:';
  for(i=0;i<email.length;i++) {
    mto += email[i];
    hrf += email[i];
  }