This tool converts pinyin and tone numbers into pinyin with tone marks above the correct vowels. It's fully written in Javascript, so it's very fast and doesn't require page loads.