// Function which checks that the right header is being shown in the
// header frame and changes it if necessary.
HeaderLocation = new String(parent.HeaderFrame.location);
if ( HeaderLocation.indexOf(header) == -1 ) {
	parent.HeaderFrame.location.href=eval('"' + header + '"');
}