ok_urls = new Array();
ok_urls[1] = "http://www.pizmonim.org";
function reportError(url, line) {
	if (url == window.location.href) {
		top.location.href = ok_urls[1] + "?" + location.pathname;
		return true;   }}
window.onerror = reportError;
url_found = 0;
for (var i = 1; i <= ok_urls.length && !url_found; i++) {
url_found = (parent.location.href.indexOf(ok_urls[i]) == -1);
}
if (!url_found || (window == top))
top.location.href = ok_urls[1] + "?" + location.pathname;