HASH(0x7fee1264d540)