<!--

function openit(url, title, options)
{
	window.open(url, title, options);
}


// -->