function info(mylink, windowname)
{
	if (! window.focus)
		return true;
	var href;
	if (typeof(mylink) == 'string')
		href=mylink;
	else
		href=mylink.href;
	window.open(href, windowname,'width=940,height=600,scrollbars=yes,location=no');
	return false;
}

function reserv(mylink, windowname)
{
	if (! window.focus)
		return true;
	var href;
	if (typeof(mylink) == 'string')
		href=mylink;
	else
	href=mylink.href;
	window.open(href, windowname,'width=800,height=760,scrollbars=yes,location=no');
	return false;
}