9.6.3