function echon() { echo "$*" | awk '{ printf "%s" $0 }' }