<!--
madrs1 = "job1";
madrs2 = "pramax.co.jp";
madrs = madrs1 + "@" + madrs2;
function mailto()
{
  location.href = "mai" + "lto:" + madrs;
}

madrs3 = "info";
madrs4 = "pramax.co.jp";
madrs5 = madrs3 + "@" + madrs4;
function mailto2()
{
  location.href = "mai" + "lto:" + madrs5;
}
// -->