( a ) (25