if (document.charset) encoding = document.charset; if (document.characterSet) encoding = document.characterSet; if (encoding == "utf-8" || encoding == "UTF-8") { document.write('