function selectFontOption(num, decoration, pos)
{
	var selObj = document.getElementById(decoration + '_artwork_textfont' + pos);
	selObj.selectedIndex = num;
  return true;
}