function GetSize()
	{
	return(document.ParaForm.pixels.options[document.ParaForm.pixels.selectedIndex].value);
	}