let icons =
    [| "500px"
    ;  "address-book"
    ;  "address-book-o"
    ;  "address-card"
    ;  "address-card-o"
    ;  "adjust"
    ;  "adn"
    ;  "align-center"
    ;  "align-justify"
    ;  "align-left"
    ;  "align-right"
    ;  "amazon"
    ;  "ambulance"
    ;  "american-sign-language-interpreting"
    ;  "anchor"
    ;  "android"
    ;  "angellist"
    ;  "angle-double-down"
    ;  "angle-double-left"
    ;  "angle-double-right"
    ;  "angle-double-up"
    ;  "angle-down"
    ;  "angle-left"
    ;  "angle-right"
    ;  "angle-up"
    ;  "apple"
    ;  "archive"
    ;  "area-chart"
    ;  "arrow-circle-down"
    ;  "arrow-circle-left"
    ;  "arrow-circle-o-down"
    ;  "arrow-circle-o-left"
    ;  "arrow-circle-o-right"
    ;  "arrow-circle-o-up"
    ;  "arrow-circle-right"
    ;  "arrow-circle-up"
    ;  "arrow-down"
    ;  "arrow-left"
    ;  "arrow-right"
    ;  "arrow-up"
    ;  "arrows"
    ;  "arrows-alt"
    ;  "arrows-h"
    ;  "arrows-v"
    ;  "asl-interpreting (alias)"
    ;  "assistive-listening-systems"
    ;  "asterisk"
    ;  "at"
    ;  "audio-description"
    ;  "automobile (alias)"
    ;  "backward"
    ;  "balance-scale"
    ;  "ban"
    ;  "bandcamp"
    ;  "bank (alias)"
    ;  "bar-chart"
    ;  "bar-chart-o (alias)"
    ;  "barcode"
    ;  "bars"
    ;  "bath"
    ;  "bathtub (alias)"
    ;  "battery (alias)"
    ;  "battery-0 (alias)"
    ;  "battery-1 (alias)"
    ;  "battery-2 (alias)"
    ;  "battery-3 (alias)"
    ;  "battery-4 (alias)"
    ;  "battery-empty"
    ;  "battery-full"
    ;  "battery-half"
    ;  "battery-quarter"
    ;  "battery-three-quarters"
    ;  "bed"
    ;  "beer"
    ;  "behance"
    ;  "behance-square"
    ;  "bell"
    ;  "bell-o"
    ;  "bell-slash"
    ;  "bell-slash-o"
    ;  "bicycle"
    ;  "binoculars"
    ;  "birthday-cake"
    ;  "bitbucket"
    ;  "bitbucket-square"
    ;  "bitcoin (alias)"
    ;  "black-tie"
    ;  "blind"
    ;  "bluetooth"
    ;  "bluetooth-b"
    ;  "bold"
    ;  "bolt"
    ;  "bomb"
    ;  "book"
    ;  "bookmark"
    ;  "bookmark-o"
    ;  "braille"
    ;  "briefcase"
    ;  "btc"
    ;  "bug"
    ;  "building"
    ;  "building-o"
    ;  "bullhorn"
    ;  "bullseye"
    ;  "bus"
    ;  "buysellads"
    ;  "cab (alias)"
    ;  "calculator"
    ;  "calendar"
    ;  "calendar-check-o"
    ;  "calendar-minus-o"
    ;  "calendar-o"
    ;  "calendar-plus-o"
    ;  "calendar-times-o"
    ;  "camera"
    ;  "camera-retro"
    ;  "car"
    ;  "caret-down"
    ;  "caret-left"
    ;  "caret-right"
    ;  "caret-square-o-down"
    ;  "caret-square-o-left"
    ;  "caret-square-o-right"
    ;  "caret-square-o-up"
    ;  "caret-up"
    ;  "cart-arrow-down"
    ;  "cart-plus"
    ;  "cc"
    ;  "cc-amex"
    ;  "cc-diners-club"
    ;  "cc-discover"
    ;  "cc-jcb"
    ;  "cc-mastercard"
    ;  "cc-paypal"
    ;  "cc-stripe"
    ;  "cc-visa"
    ;  "certificate"
    ;  "chain (alias)"
    ;  "chain-broken"
    ;  "check"
    ;  "check-circle"
    ;  "check-circle-o"
    ;  "check-square"
    ;  "check-square-o"
    ;  "chevron-circle-down"
    ;  "chevron-circle-left"
    ;  "chevron-circle-right"
    ;  "chevron-circle-up"
    ;  "chevron-down"
    ;  "chevron-left"
    ;  "chevron-right"
    ;  "chevron-up"
    ;  "child"
    ;  "chrome"
    ;  "circle"
    ;  "circle-o"
    ;  "circle-o-notch"
    ;  "circle-thin"
    ;  "clipboard"
    ;  "clock-o"
    ;  "clone"
    ;  "close (alias)"
    ;  "cloud"
    ;  "cloud-download"
    ;  "cloud-upload"
    ;  "cny (alias)"
    ;  "code"
    ;  "code-fork"
    ;  "codepen"
    ;  "codiepie"
    ;  "coffee"
    ;  "cog"
    ;  "cogs"
    ;  "columns"
    ;  "comment"
    ;  "comment-o"
    ;  "commenting"
    ;  "commenting-o"
    ;  "comments"
    ;  "comments-o"
    ;  "compass"
    ;  "compress"
    ;  "connectdevelop"
    ;  "contao"
    ;  "copy (alias)"
    ;  "copyright"
    ;  "creative-commons"
    ;  "credit-card"
    ;  "credit-card-alt"
    ;  "crop"
    ;  "crosshairs"
    ;  "css3"
    ;  "cube"
    ;  "cubes"
    ;  "cut (alias)"
    ;  "cutlery"
    ;  "dashboard (alias)"
    ;  "dashcube"
    ;  "database"
    ;  "deaf"
    ;  "deafness (alias)"
    ;  "dedent (alias)"
    ;  "delicious"
    ;  "desktop"
    ;  "deviantart"
    ;  "diamond"
    ;  "digg"
    ;  "dollar (alias)"
    ;  "dot-circle-o"
    ;  "download"
    ;  "dribbble"
    ;  "drivers-license (alias)"
    ;  "drivers-license-o (alias)"
    ;  "dropbox"
    ;  "drupal"
    ;  "edge"
    ;  "edit (alias)"
    ;  "eercast"
    ;  "eject"
    ;  "ellipsis-h"
    ;  "ellipsis-v"
    ;  "empire"
    ;  "envelope"
    ;  "envelope-o"
    ;  "envelope-open"
    ;  "envelope-open-o"
    ;  "envelope-square"
    ;  "envira"
    ;  "eraser"
    ;  "etsy"
    ;  "eur"
    ;  "euro (alias)"
    ;  "exchange"
    ;  "exclamation"
    ;  "exclamation-circle"
    ;  "exclamation-triangle"
    ;  "expand"
    ;  "expeditedssl"
    ;  "external-link"
    ;  "external-link-square"
    ;  "eye"
    ;  "eye-slash"
    ;  "eyedropper"
    ;  "fa (alias)"
    ;  "facebook"
    ;  "facebook-f (alias)"
    ;  "facebook-official"
    ;  "facebook-square"
    ;  "fast-backward"
    ;  "fast-forward"
    ;  "fax"
    ;  "feed (alias)"
    ;  "female"
    ;  "fighter-jet"
    ;  "file"
    ;  "file-archive-o"
    ;  "file-audio-o"
    ;  "file-code-o"
    ;  "file-excel-o"
    ;  "file-image-o"
    ;  "file-movie-o (alias)"
    ;  "file-o"
    ;  "file-pdf-o"
    ;  "file-photo-o (alias)"
    ;  "file-picture-o (alias)"
    ;  "file-powerpoint-o"
    ;  "file-sound-o (alias)"
    ;  "file-text"
    ;  "file-text-o"
    ;  "file-video-o"
    ;  "file-word-o"
    ;  "file-zip-o (alias)"
    ;  "files-o"
    ;  "film"
    ;  "filter"
    ;  "fire"
    ;  "fire-extinguisher"
    ;  "firefox"
    ;  "first-order"
    ;  "flag"
    ;  "flag-checkered"
    ;  "flag-o"
    ;  "flash (alias)"
    ;  "flask"
    ;  "flickr"
    ;  "floppy-o"
    ;  "folder"
    ;  "folder-o"
    ;  "folder-open"
    ;  "folder-open-o"
    ;  "font"
    ;  "font-awesome"
    ;  "fonticons"
    ;  "fort-awesome"
    ;  "forumbee"
    ;  "forward"
    ;  "foursquare"
    ;  "free-code-camp"
    ;  "frown-o"
    ;  "futbol-o"
    ;  "gamepad"
    ;  "gavel"
    ;  "gbp"
    ;  "ge (alias)"
    ;  "gear (alias)"
    ;  "gears (alias)"
    ;  "genderless"
    ;  "get-pocket"
    ;  "gg"
    ;  "gg-circle"
    ;  "gift"
    ;  "git"
    ;  "git-square"
    ;  "github"
    ;  "github-alt"
    ;  "github-square"
    ;  "gitlab"
    ;  "gittip (alias)"
    ;  "glass"
    ;  "glide"
    ;  "glide-g"
    ;  "globe"
    ;  "google"
    ;  "google-plus"
    ;  "google-plus-circle (alias)"
    ;  "google-plus-official"
    ;  "google-plus-square"
    ;  "google-wallet"
    ;  "graduation-cap"
    ;  "gratipay"
    ;  "grav"
    ;  "group (alias)"
    ;  "h-square"
    ;  "hacker-news"
    ;  "hand-grab-o (alias)"
    ;  "hand-lizard-o"
    ;  "hand-o-down"
    ;  "hand-o-left"
    ;  "hand-o-right"
    ;  "hand-o-up"
    ;  "hand-paper-o"
    ;  "hand-peace-o"
    ;  "hand-pointer-o"
    ;  "hand-rock-o"
    ;  "hand-scissors-o"
    ;  "hand-spock-o"
    ;  "hand-stop-o (alias)"
    ;  "handshake-o"
    ;  "hard-of-hearing (alias)"
    ;  "hashtag"
    ;  "hdd-o"
    ;  "header"
    ;  "headphones"
    ;  "heart"
    ;  "heart-o"
    ;  "heartbeat"
    ;  "history"
    ;  "home"
    ;  "hospital-o"
    ;  "hotel (alias)"
    ;  "hourglass"
    ;  "hourglass-1 (alias)"
    ;  "hourglass-2 (alias)"
    ;  "hourglass-3 (alias)"
    ;  "hourglass-end"
    ;  "hourglass-half"
    ;  "hourglass-o"
    ;  "hourglass-start"
    ;  "houzz"
    ;  "html5"
    ;  "i-cursor"
    ;  "id-badge"
    ;  "id-card"
    ;  "id-card-o"
    ;  "ils"
    ;  "image (alias)"
    ;  "imdb"
    ;  "inbox"
    ;  "indent"
    ;  "industry"
    ;  "info"
    ;  "info-circle"
    ;  "inr"
    ;  "instagram"
    ;  "institution (alias)"
    ;  "internet-explorer"
    ;  "intersex (alias)"
    ;  "ioxhost"
    ;  "italic"
    ;  "joomla"
    ;  "jpy"
    ;  "jsfiddle"
    ;  "key"
    ;  "keyboard-o"
    ;  "krw"
    ;  "language"
    ;  "laptop"
    ;  "lastfm"
    ;  "lastfm-square"
    ;  "leaf"
    ;  "leanpub"
    ;  "legal (alias)"
    ;  "lemon-o"
    ;  "level-down"
    ;  "level-up"
    ;  "life-bouy (alias)"
    ;  "life-buoy (alias)"
    ;  "life-ring"
    ;  "life-saver (alias)"
    ;  "lightbulb-o"
    ;  "line-chart"
    ;  "link"
    ;  "linkedin"
    ;  "linkedin-square"
    ;  "linode"
    ;  "linux"
    ;  "list"
    ;  "list-alt"
    ;  "list-ol"
    ;  "list-ul"
    ;  "location-arrow"
    ;  "lock"
    ;  "long-arrow-down"
    ;  "long-arrow-left"
    ;  "long-arrow-right"
    ;  "long-arrow-up"
    ;  "low-vision"
    ;  "magic"
    ;  "magnet"
    ;  "mail-forward (alias)"
    ;  "mail-reply (alias)"
    ;  "mail-reply-all (alias)"
    ;  "male"
    ;  "map"
    ;  "map-marker"
    ;  "map-o"
    ;  "map-pin"
    ;  "map-signs"
    ;  "mars"
    ;  "mars-double"
    ;  "mars-stroke"
    ;  "mars-stroke-h"
    ;  "mars-stroke-v"
    ;  "maxcdn"
    ;  "meanpath"
    ;  "medium"
    ;  "medkit"
    ;  "meetup"
    ;  "meh-o"
    ;  "mercury"
    ;  "microchip"
    ;  "microphone"
    ;  "microphone-slash"
    ;  "minus"
    ;  "minus-circle"
    ;  "minus-square"
    ;  "minus-square-o"
    ;  "mixcloud"
    ;  "mobile"
    ;  "mobile-phone (alias)"
    ;  "modx"
    ;  "money"
    ;  "moon-o"
    ;  "mortar-board (alias)"
    ;  "motorcycle"
    ;  "mouse-pointer"
    ;  "music"
    ;  "navicon (alias)"
    ;  "neuter"
    ;  "newspaper-o"
    ;  "object-group"
    ;  "object-ungroup"
    ;  "odnoklassniki"
    ;  "odnoklassniki-square"
    ;  "opencart"
    ;  "openid"
    ;  "opera"
    ;  "optin-monster"
    ;  "outdent"
    ;  "pagelines"
    ;  "paint-brush"
    ;  "paper-plane"
    ;  "paper-plane-o"
    ;  "paperclip"
    ;  "paragraph"
    ;  "paste (alias)"
    ;  "pause"
    ;  "pause-circle"
    ;  "pause-circle-o"
    ;  "paw"
    ;  "paypal"
    ;  "pencil"
    ;  "pencil-square"
    ;  "pencil-square-o"
    ;  "percent"
    ;  "phone"
    ;  "phone-square"
    ;  "photo (alias)"
    ;  "picture-o"
    ;  "pie-chart"
    ;  "pied-piper"
    ;  "pied-piper-alt"
    ;  "pied-piper-pp"
    ;  "pinterest"
    ;  "pinterest-p"
    ;  "pinterest-square"
    ;  "plane"
    ;  "play"
    ;  "play-circle"
    ;  "play-circle-o"
    ;  "plug"
    ;  "plus"
    ;  "plus-circle"
    ;  "plus-square"
    ;  "plus-square-o"
    ;  "podcast"
    ;  "power-off"
    ;  "print"
    ;  "product-hunt"
    ;  "puzzle-piece"
    ;  "qq"
    ;  "qrcode"
    ;  "question"
    ;  "question-circle"
    ;  "question-circle-o"
    ;  "quora"
    ;  "quote-left"
    ;  "quote-right"
    ;  "ra (alias)"
    ;  "random"
    ;  "ravelry"
    ;  "rebel"
    ;  "recycle"
    ;  "reddit"
    ;  "reddit-alien"
    ;  "reddit-square"
    ;  "refresh"
    ;  "registered"
    ;  "remove (alias)"
    ;  "renren"
    ;  "reorder (alias)"
    ;  "repeat"
    ;  "reply"
    ;  "reply-all"
    ;  "resistance (alias)"
    ;  "retweet"
    ;  "rmb (alias)"
    ;  "road"
    ;  "rocket"
    ;  "rotate-left (alias)"
    ;  "rotate-right (alias)"
    ;  "rouble (alias)"
    ;  "rss"
    ;  "rss-square"
    ;  "rub"
    ;  "ruble (alias)"
    ;  "rupee (alias)"
    ;  "s15 (alias)"
    ;  "safari"
    ;  "save (alias)"
    ;  "scissors"
    ;  "scribd"
    ;  "search"
    ;  "search-minus"
    ;  "search-plus"
    ;  "sellsy"
    ;  "send (alias)"
    ;  "send-o (alias)"
    ;  "server"
    ;  "share"
    ;  "share-alt"
    ;  "share-alt-square"
    ;  "share-square"
    ;  "share-square-o"
    ;  "shekel (alias)"
    ;  "sheqel (alias)"
    ;  "shield"
    ;  "ship"
    ;  "shirtsinbulk"
    ;  "shopping-bag"
    ;  "shopping-basket"
    ;  "shopping-cart"
    ;  "shower"
    ;  "sign-in"
    ;  "sign-language"
    ;  "sign-out"
    ;  "signal"
    ;  "signing (alias)"
    ;  "simplybuilt"
    ;  "sitemap"
    ;  "skyatlas"
    ;  "skype"
    ;  "slack"
    ;  "sliders"
    ;  "slideshare"
    ;  "smile-o"
    ;  "snapchat"
    ;  "snapchat-ghost"
    ;  "snapchat-square"
    ;  "snowflake-o"
    ;  "soccer-ball-o (alias)"
    ;  "sort"
    ;  "sort-alpha-asc"
    ;  "sort-alpha-desc"
    ;  "sort-amount-asc"
    ;  "sort-amount-desc"
    ;  "sort-asc"
    ;  "sort-desc"
    ;  "sort-down (alias)"
    ;  "sort-numeric-asc"
    ;  "sort-numeric-desc"
    ;  "sort-up (alias)"
    ;  "soundcloud"
    ;  "space-shuttle"
    ;  "spinner"
    ;  "spoon"
    ;  "spotify"
    ;  "square"
    ;  "square-o"
    ;  "stack-exchange"
    ;  "stack-overflow"
    ;  "star"
    ;  "star-half"
    ;  "star-half-empty (alias)"
    ;  "star-half-full (alias)"
    ;  "star-half-o"
    ;  "star-o"
    ;  "steam"
    ;  "steam-square"
    ;  "step-backward"
    ;  "step-forward"
    ;  "stethoscope"
    ;  "sticky-note"
    ;  "sticky-note-o"
    ;  "stop"
    ;  "stop-circle"
    ;  "stop-circle-o"
    ;  "street-view"
    ;  "strikethrough"
    ;  "stumbleupon"
    ;  "stumbleupon-circle"
    ;  "subscript"
    ;  "subway"
    ;  "suitcase"
    ;  "sun-o"
    ;  "superpowers"
    ;  "superscript"
    ;  "support (alias)"
    ;  "table"
    ;  "tablet"
    ;  "tachometer"
    ;  "tag"
    ;  "tags"
    ;  "tasks"
    ;  "taxi"
    ;  "telegram"
    ;  "television"
    ;  "tencent-weibo"
    ;  "terminal"
    ;  "text-height"
    ;  "text-width"
    ;  "th"
    ;  "th-large"
    ;  "th-list"
    ;  "themeisle"
    ;  "thermometer (alias)"
    ;  "thermometer-0 (alias)"
    ;  "thermometer-1 (alias)"
    ;  "thermometer-2 (alias)"
    ;  "thermometer-3 (alias)"
    ;  "thermometer-4 (alias)"
    ;  "thermometer-empty"
    ;  "thermometer-full"
    ;  "thermometer-half"
    ;  "thermometer-quarter"
    ;  "thermometer-three-quarters"
    ;  "thumb-tack"
    ;  "thumbs-down"
    ;  "thumbs-o-down"
    ;  "thumbs-o-up"
    ;  "thumbs-up"
    ;  "ticket"
    ;  "times"
    ;  "times-circle"
    ;  "times-circle-o"
    ;  "times-rectangle (alias)"
    ;  "times-rectangle-o (alias)"
    ;  "tint"
    ;  "toggle-down (alias)"
    ;  "toggle-left (alias)"
    ;  "toggle-off"
    ;  "toggle-on"
    ;  "toggle-right (alias)"
    ;  "toggle-up (alias)"
    ;  "trademark"
    ;  "train"
    ;  "transgender"
    ;  "transgender-alt"
    ;  "trash"
    ;  "trash-o"
    ;  "tree"
    ;  "trello"
    ;  "tripadvisor"
    ;  "trophy"
    ;  "truck"
    ;  "try"
    ;  "tty"
    ;  "tumblr"
    ;  "tumblr-square"
    ;  "turkish-lira (alias)"
    ;  "tv (alias)"
    ;  "twitch"
    ;  "twitter"
    ;  "twitter-square"
    ;  "umbrella"
    ;  "underline"
    ;  "undo"
    ;  "universal-access"
    ;  "university"
    ;  "unlink (alias)"
    ;  "unlock"
    ;  "unlock-alt"
    ;  "unsorted (alias)"
    ;  "upload"
    ;  "usb"
    ;  "usd"
    ;  "user"
    ;  "user-circle"
    ;  "user-circle-o"
    ;  "user-md"
    ;  "user-o"
    ;  "user-plus"
    ;  "user-secret"
    ;  "user-times"
    ;  "users"
    ;  "vcard (alias)"
    ;  "vcard-o (alias)"
    ;  "venus"
    ;  "venus-double"
    ;  "venus-mars"
    ;  "viacoin"
    ;  "viadeo"
    ;  "viadeo-square"
    ;  "video-camera"
    ;  "vimeo"
    ;  "vimeo-square"
    ;  "vine"
    ;  "vk"
    ;  "volume-control-phone"
    ;  "volume-down"
    ;  "volume-off"
    ;  "volume-up"
    ;  "warning (alias)"
    ;  "wechat (alias)"
    ;  "weibo"
    ;  "weixin"
    ;  "whatsapp"
    ;  "wheelchair"
    ;  "wheelchair-alt"
    ;  "wifi"
    ;  "wikipedia-w"
    ;  "window-close"
    ;  "window-close-o"
    ;  "window-maximize"
    ;  "window-minimize"
    ;  "window-restore"
    ;  "windows"
    ;  "won (alias)"
    ;  "wordpress"
    ;  "wpbeginner"
    ;  "wpexplorer"
    ;  "wpforms"
    ;  "wrench"
    ;  "xing"
    ;  "xing-square"
    ;  "y-combinator"
    ;  "y-combinator-square (alias)"
    ;  "yahoo"
    ;  "yc (alias)"
    ;  "yc-square (alias)"
    ;  "yelp"
    ;  "yen (alias)"
    ;  "yoast"
    ;  "youtube"
    ;  "youtube-play"
    ;  "youtube-square"
    |]