( 25 \ 3)