function checkForSong() {		// If there is an MP3 file name in the href, then automatically launch it.
	a=document.URL.split("?");
	if (a.length>1) {
		player.document.location.href="./sgadtmth/"+a[1]+".mp3";
	}
}

function rossNewWindow(mypage, myname, title, w, h, scroll)
{
	var winl = (screen.width - w) / 2;
	var wint = (screen.height - h) / 2;
	winprops = "height="+h+",width="+w+",top="+wint+",left="+winl+",scrollbars="+scroll
	win = window.open('./sgadtmth/'+mypage, myname, winprops)
	if (parseInt(navigator.appVersion) >= 4) { win.window.focus(); }
}