19417x1 ) ( 4643 .)