EOF -> echo "" ; EOF