HASH(0x7fee11af4ee8)