10447 / 1 .)