<!--
if (parent.location.href == self.location.href) {
    if (window.location.replace)
        window.location.replace('../law/geronimo.shtml');
    else
        window.location.href = '../law/geronimo.shtml';
}
//  -->