@ -172,4 +172,8 @@ function gen_all_words_list() {
}
function words_len(v) {
for (var i = 0; i < v.length; i++) {
if (v[i] == LIST_END) return i
return v.length