HASH(0x7fedec52bb90)