<!--
function popup(mylink,windowname)
{
	if (! window.focus)return true;
	var href;
	if (typeof(mylink) == 'string')
	   href=mylink;
	else
	   href=mylink.href;
	window.open(href, windowname, 'resizable=yes,scrollbars=yes');
	return false;
}

function savefile(filename) { 
	var w=window.open(filename,"_blank","top=2000;left=2000"); 
	w.document.execCommand("SaveAs"); 
	w.close(); 
	return false;
} 

-->