HASH(0x7fedf004ae40)