basic HTML export