; 10,24 & gt;