0x3ffd7f17