11393 , 3 .)