function mailto()
{
  var p1 = "com"; var p2 = "."; var p3 = "briggsoft"; var p4 = "@";
  var p5 = "kbriggs"; var p6 = ":"; var p7 = "to";  var p8 = "mail";
  window.location=p8+p7+p6+p5+p4+p3+p2+p1;
}