HASH(0x7fede65d7050)