exit, not echo!