11383x1 ) ( 6193 .)