<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_mrhqesh479jjq0mb86iirb46gm, 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" {
    Window infoBox = null;
    repeat with ms sleep 500 {
      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);
        }
      }
    }
  }
}