printf %c 9{0..7999} '
' 9{0..7999}