//#### general functions #######################################################

function document_event_onload() {
 display_bookmark();
}

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

function show_element(element_id) {
  document.getElementById(element_id).style.display = "block";
}

function hide_element(element_id) {
  document.getElementById(element_id).style.display = "none";
}

function display_bookmark() {
 if (navigator.userAgent.indexOf("Firefox") != -1) {
  /*show_element("add_bookmark_ff");*/
 } else if (navigator.userAgent.indexOf("MSIE") != -1) {
  show_element("add_bookmark_ie");
 }
}