Changing source to a changed file name in html