//========= hdr.js ====================================
//	Included by every page in the product docs

// For online docs, ensure that this page isn't the top frame
// If it is, replace with ../docs.asp?page=xxx.htm
if (top == self)
	{ // Compute the path we want to redirect to
	var rgSearch = document.location.href.match(/\/(\w+\.htm)($|\?)/);
	var sPage = rgSearch[1];
	document.location = "../docs.asp?page=" + sPage;
	}