* 7 [ & gt;