(stdin)= ffaf538ad7c02434203ee1b25cce0699