bash functions: Added sep()