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