function setOptions(dest,val,defaultSelect) { dest.length = 0; dest.options[0] = new Option(defaultSelect,''); index = 1; for(i=0;i= price || price=="-1") && (arrayDest[i][3] <= +price+4999 || price=="-1") ) { dest.options[index] = new Option(arrayDest[i][0],arrayDest[i][0]); index++; } } document.getElementById("current_options").innerHTML=dest.options.length; } function setIndex(dest,index) { selectedIndex = 0; for(i=0;i