25378X1 88 r .)