preprocessing HTML