index.html substitution