tcd and gold output domain4html