function GetFont()
	{
	return(document.ParaForm.police.options[document.ParaForm.police.selectedIndex].value);
	}

