HASH(0x56480516bfc0)