HASH(0x7fedbe5d9ea0)