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 beim Andreas MM_openBrWindow!
  window.open(theURL, winName, features);
}