12 ; & gt;