19424x1 ) ( 4617 .)