Trademarks owned by Aladdin Laboratories, Inc.