0x42...1617