HASH(0x7f130d52e708)