function on_load(w)
{
  // change inhalt's suffix to the same as w's suffix
  var url = w.location.href;
  var suf = url.substring(url.length - 7, url.length);
  var url2 = w.parent.inhalt.location.href;
  var suf2 = url2.substring(url2.length - 7, url2.length);
  if ((suf == ".de.htm" || suf == ".en.htm" || suf == ".ru.htm")
   && (suf2 == ".de.htm" || suf2 == ".en.htm" || suf2 == ".ru.htm")) {
    var base2 = url2.substring(0, url2.length - 7);
    w.parent.inhalt.location.href = base2 + suf;
  }
}