( * 9.49)