11139 X 12 .)