3002 ) [ 5765]