var dict = {};
function L(textID)
{
  if (typeof(dict[textID]) == 'undefined')
  {
    dict[textID] = textID;

    var req = getXMLHttpRequest();
    req.open("GET", 'i18n.php?id='+escape(textID), false);
    req.send(null);
    if (req.status == 200) dict[textID] = req.responseText;
  }
  return dict[textID];
}