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