// This function checks to see if the current page is in a frame.
// If it is, it redirects the browser to make the current page the
// top level page, thus eliminatig the frameset. This will typically 
// be called by the page.onload() event handler.
function bustOutOfFrameset() {
	if (window.top != window.self){
		window.top.location = window.self.location;
	}
}