var frameset_name = "ongaku_frame";
function checkFrames(loc) {
  if ((top.name != frameset_name)||(self != top.frames["PageFrame"])) {
	loc = 'index.php?page=' + loc.slice(loc.lastIndexOf('/') + 1);
	location.replace(loc);
  }
}

