echo "toto" > a