6 ; & lt;