function nieuw_venster(URL,winName,eigenschappen) { //v2.0
  window.open(URL,winName,eigenschappen);
}