function opendoc(url)
{
	if (url)
		winspawn(url, "documentation", 350, 300, "scrollbars=yes,resizable=yes");
}

function winspawn(url, name, h, w, misc)
{
	var winder = window.open(url, name, "height=" + h + ",width=" + w + (misc == null ? "" : "," + misc));
	if (winder.focus)
		winder.focus();
}