s ' ) ')