var CI_LATEST_MIME_NUM = 13;

function CI_getMimeType(ciMimeNum) {
  if (ciMimeNum < 13)
    return "application/x-vnd.Google.ComInstCtrl." + ciMimeNum;
  else
    return "application/x-vnd.google.cominstctrl." + ciMimeNum;
}