5058 ) ( 42172 .)