<!-- hide from none JavaScript Browsers 
function changeFontSize( n )
{
	var	choice;
	if (n == 0)
	{
		document.fontForm.fontSize[0].checked = true;
		choice = document.fontForm.fontSizeMenu.selectedIndex;
		choice = document.fontForm.fontSizeMenu.options[choice].value;
		if (choice != "")
		{
			setIdProperty( "fontA", "fontSize", choice );
		}
	}
	if (n == 0)
	{
		document.fontForm.fontSize[0].checked = true;
		choice = document.fontForm.fontSizeMenu.selectedIndex;
		choice = document.fontForm.fontSizeMenu.options[choice].value;
		if (choice != "")
		{
			setIdProperty( "fontB", "fontSize", choice );
		}
	}
}

setBrowser();
// End Hiding -->