HASH(0x7fede5b9fd10)