HASH(0x7fee238c0780)