HASH(0x7fedbe5bf418)