that were earlier defined in the <b>index.html</b> file