Trademarks owned by Workers Compensation Fund