( 5257 ) f ||