( 25587 . ;1