public static function getGlyphicon($glyph) {
		$result=new HtmlGlyphicon("");
		if (is_int($glyph)) {
			$glyphs=CssGlyphicon::getConstants();
			if ($glyph<sizeof($glyphs)) {
				$glyph=array_values($glyphs)[$glyph];
			}
		}
		$result->setGlyphicon($glyph);
		return $result;
	}