// JavaScript Document
function indienNodigVerlaatKader() {
  if (top.location != location) {
    top.location.href = document.location.href ;
} }