<!--
var filename = window.location.href
var servername = window.location.hostname
var rootpath = "http://" + servername + "/community/"
if (top.location.href.indexOf("index.htm") == -1)
  top.location.href = rootpath + "index.htm?" + filename + "&2";
// -->