function ChangeQuery(){	var inpstr = document.forms["Main"].elements["queryrows"].value;	var cols   = inpstr.substr(0,inpstr.indexOf('x'));	var rows   = inpstr.substr(inpstr.indexOf('x')+1, 10);		document.forms["Main"].elements["query[cols]"].value = cols;	document.forms["Main"].elements["query[rows]"].value = rows;}
6770	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6770/572c3f2bb3a723427b3ca6f2c29ad27c0b612804/dilps.lib.js/buggy/dilps/dilps.lib.js