var path_parts = self.location.href.split("/");
var loc = path_parts[path_parts.length - 1];
loc = loc.replace(/&/g, "$")
my_location = "?frame=" + loc;
if (self.location.href == window.top.location.href) window.top.location.href = "schraut.php" + my_location;
