9 & lt;