<!--
function launchwin(pageName,winName,setting)
{
	newwin = window.open(pageName,winName,setting);
}
-->