15345 X 3 .)