HASH(0x7c4dce02d540)