9619x2 ) ( 4893 .)