CVS #4282 (EFT)