7.1-7.2, 7.5, 7.7