9,393 X 4 .)