/**
 * Checks whether the current document is part of a frameset.
 * If not, the browser will be redirected.
 */
if (!top || !top.frames || top.frames.length < 2) {
	window.location.href = "index.html?" + window.location.pathname;
}