function load_frame (frame_file) { 
//alert (frame_file);
	// if page is the only one, set the appropriate frame
//	if (window.top == window.self)  {window.top.location = frame_file}

	// get the possible frame file
	var location = window.top.location.toString();
	var slash_pos = 0;
	for (var i = location.length; i >=0 ; --i) {
		slash_pos = i;
		if (location[i] == "/") {break;}
 	}
	var html_file = location.substring (slash_pos + 1, location.length);
//	alert (location + " " + typeof(location) + " " + location.length + " " + slash_pos + " " + html_file);

	// if page is presented in the wrong frame, set the appropriate frame
	if (html_file != frame_file)  {window.top.location = frame_file}

	return (true);
}