/*
 * JavaScript loading the current document into the top-level window if not
 * already done.
 */

if (top.frames.length != 0)
    top.location = self.document.location;