/* cnx-Funktionen */

function openTombstone(filename, lang) {
   url = "../html/showtombstone.php?filename=" + filename + "&lang=" + lang;
   window.open(url, "tombstone", "dependent=yes,height=590,width=420,top=200,left=200,location=no,menubar=no,resizable=no,scrollbars=no,status=no,toolbar=no");
}