<!--
function trim(str) {
	return str.replace(/^\s*/,'').replace(/\s*$/,'');
}

function sw(url,w,h){
 window.open(url, "w", "height="+(h+20)+",width="+(w+20)+",toolbar=0,scrollbars=0,resizable=1");
}

// -->