// if contained page tries to change window title, prepend title with "D2SC: "
// called when new iframe loads, gives that loaded page a good while to try and change the title
// then does its thing if it has

function reloadOnLogout() {
    location.reload(true);
}

function handleTitleChange(n) {
	if (typeof n == "undefined") {
		n = 0;
	} else {
		n++;
	}
	var re = new RegExp("D2SC");
	if (document.title.match(re)) {
		// checking for 10 seconds after iframe load and this function called
		if (n <= 10) t = setTimeout("handleTitleChange", 1000, n);
	} else {
		document.title = "D2SC: " + document.title; 
	}
}