<!-- 
var D = "ieee.org";
var ML1 = "mai" + "lto:" + "s.a.haynes&#64;" + D;
document.write("<a href=\"" + ML1 + "\">");
D = "1"; D = "";
var MA1 = "(Contact Sean Haynes.)" + D;
document.write(MA1 + "</a>");
// -->
