HASH(0x7fedca642bb8)