def3c871