function a_href( email, dom ) {
  document.write( "<a class=\"normal\" href='mailto:" + email + "@" + dom
                + "'>" + email + "@" + dom + "</a>");
}

function a_top( email, dom) {
  location.href= "mailto:" + email + "@" + dom;
}

var sw=0;
function search( ) {
  if (sw!=0) { sw.close() };
  sw=window.open("http://www.frankfurter-info.org/search?portal_type:list=Event&SearchableText="+document.searchform.SearchableText.value,"","");
  sw.focus();
};