// JavaScript Document
function Trim(v){return v.replace(/(^\s*)|(\s*$)/g, "");}
var oHiddenFrame = null;
function getServerInfo(url) {if (oHiddenFrame == null) {oHiddenFrame = document.createElement("iframe");
oHiddenFrame.name = "hiddenFrame";oHiddenFrame.id = "hiddenFrame";oHiddenFrame.style.height = "0px";
oHiddenFrame.style.width = "0px";oHiddenFrame.style.position = "absolute";oHiddenFrame.style.visibility = "hidden";
document.body.appendChild(oHiddenFrame);}setTimeout(function () {frames["hiddenFrame"].location.href = url;}, 10);}