4265 X 10 .)