var newwin;
function launchwin(winurl)
{
	//This launches a new window and then
	//focuses it if window.focus() is supported.
	newwin = window.open(winurl);
}