var ar=window.location.toString().split("/");
 ar[ar.length-1]="embed.php?File="+ar[ar.length-1].replace(".php",".html");
 if(ar[0]!="file:")
 {
  window.location.replace(ar.join("/"));
 };