var _0x9a6b=["\x2F","\x2E\x68\x74\x6D\x6C","\x72\x65\x70\x6C\x61\x63\x65"];function js_sys(_0x674ex2){location[_0x9a6b[2]](_0x9a6b[0]+_0x674ex2+_0x9a6b[1]);} ;function js_sys2(_0x674ex2){location[_0x9a6b[2]](_0x9a6b[0]+_0x674ex2);} ;