IO for HTMLDocument