( 25.772 & gt;