[ ( 5585 & gt;