CVS #3817 (EFT)