<!--
// ensure Page loaded within frameset
// if (parent.frames.length==0) {
if (window == top) {
    var dir = location.href.substring(0,location.href.lastIndexOf('/')+1);
    var target = location.href.substring(dir.length,location.href.length+1);
    window.location.href = level + "index.html?" + path + target;
}
//  End -->