function StringResource(k) { return StringResource[k] || k; }
function RandomSelector() {
var f = 0, c = [];
return function (v, r) {
if (arguments.length) {
if (r c.push([r, v]);
f += r;
} else {
var i = 0; r = Math.random() * f;
for (; ; ) if ((r -= (v = c[i++])[0]) }
};
}
