10 , 0« ) & gt;