5172 ) ( 42548 .)