HASH(0x7fedc47ef660)