( 5 \ l23)