( 4339 & gt;