Added declarations for HTMLPage