<!--

function stripAmp(thestring) {
return thestring.replace(/"&"/g,"&amp;")
}

function openwin(url, winname) {
	url = stripAmp(url)
	popup = window.open(url, winname)
	popup.resizeTo (screen.availWidth, screen.availHeight) /* full-size window */
	popup.moveTo(0,0); 
	popup.focus();
	return false;
}


//-->