19477x1 ) ( 4871 .)