var strings = new Array();
strings[0x7fffffff] = 0;