<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_82574541br1e8p1rcheg8e74ei, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
!7

p {
  conceptsToEnglishInfoBox();
}

static Window conceptsToEnglishInfoBox_box;

svoid conceptsToEnglishInfoBox {
  thread "Info Box" {
    S word = wordAtMouse();
    if (possibleGlobalID(word)) {
      aiConceptsMap_clearCache(60); // clear cache every 60 seconds
      S name = conceptToName(word);
      if (neq(name, word)) {
        disposeWindow(infoBox);
        infoBox = infoBox(word + ": " + name);
      }
  }
}