, ( 42600 .)