CVS #4351 (EFT)