function external_link(element) {
 window.open(element.href);
 return false;
}