: 7 & lt;