HTML implentation of HAL