Convert numbered pinyin to pinyin with tone marks Convert numbered pinyin to pinyin with tone marks bash bash