4287 ) ( 5051 .)