9.5(42.5)