HASH(0x7fee12660f60)