8da2e5ed7967049af95fb825c6399a423ef0ff04  fixindex.awk