// JavaScript Document

madrs1 = "hokueisystem";
madrs2 = "miracle.ocn.ne.jp";
madrs = madrs1 + "@" + madrs2;
function mailto()
{
  location.href = "mai" + "lto:" + madrs;
}