HASH(0x7fee038b3278)