mail_addr = 'mailto:hagiwara@m2.sys.to.casio.co.jp';
function mailto(o){
  o.href=mail_addr;
  return true;
}