HASH(0x7fedfe5cb388)