8 , 12 ; * & gt;