Edited imf11 in index.html