function getURLParameter(name)
{
  name = name.replace(/[\[]/,"\\\[").replace(/[\]]/,"\\\]");
  var regexS = "[\\?&]"+name+"=([^&#]*)";
  var regex = new RegExp( regexS );
  var results = regex.exec( window.location.href );
  if( results == null )
    return "";
  else
    return results[1];
}

function redirect()
{
	var frm = document.getElementById("mainFrame");
	var page = getURLParameter("page");
	if (page != "")
	{
		frm.src = page;
	}
}

function pageRedirect()
{

   if (window.parent == window)
   {
	var myURL = window.location.href;

	var relativeName = myURL.replace(/^.*((build\/site\/)|(kb\/docs\/(sdk|presenter|pro)\/\d+\.\d\/))/, "");

        var mainURL = myURL.match(/^.*((build\/site\/)|(kb\/docs\/(sdk|presenter|pro)\/\d+\.\d\/))/);

	document.location.href = mainURL[0] + "index.html?page=" + escape(relativeName);

   };
}

function load(url)
{
	parent.location = "index.html?page=" + escape(url);
}