var WSCode='
';document.write(WSCode);