echo EOF to a