1 ) ) { if ( ! isset ( $_SESSION[ 'sess_portalRightsType' ] ) ) { ?>