( 25442 . )'