^5707 ) & gt;