if(top.location.href.indexOf("Combining_Forms.html")<0) {
 top.location.href="Combining_Forms.html";
}