https://en.wikipedia.org/wiki/0x10c

Still got three dark-blue 0x10c T-shirts in my drawers. ;)