HASH(0x7fedd801c038)