function inserttag(tag_before, tag_after){
  strSelection = document.selection.createRange().text;
  if (strSelection != "")
  document.selection.createRange().text = "[" + tag_before + "]" + strSelection + "[" + tag_after + "]";
}

function win_popup(theURL, winName, features) { // heißt auch MM_openBrWindow !
  window.open(theURL, winName, features);
}

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}