HASH(0x7f13584e3268)