$get("ok").value="ok"; 
function SucceededCallback(result, userContext, methodName){     switch(methodName)    {        case ("GetColorList"):        {            // Get the select object.            var selectObject = document.getElementById("ColorSelectID");            var i = 0;                  // Iterate through the dictionary to populate             // the selection list.            for(var item in result)            {                        var option = new Option(result[item], item);                selectObject.options[i]=option;                   // Set the default selection.                        if (item == defaultRgb)                    selectObject.options[i].selected = true;               i++;            }            break;        }        default:        {            // Get the server default color and its current time.            // Read the values returned by the            // Web service.            var message = result.message;            defaultRgb = result.rgb;                       var timeStamp = result.timeStamp;                        // Transform the rgb array into a string.            var serverColor = defaultRgb[0]+ defaultRgb[1] + defaultRgb[2];            // Display the result.            displayResult.style.color = "yellow";            displayResult.style.fontWeight = "bold";            if (document.all)                 displayResult.innerText = message + " " + timeStamp;            else               // Firefox               displayResult.textContent = message + " " + timeStamp;                           displayResult.style.backgroundColor = "#" + serverColor;            break;        }    }            }
7338	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7338/1ef1e681f4632d97b71cd904f6385932f5960859/HandleColor.js/clean/mcs/class/System.Web.Extensions/Test/AUT/Sys.Net.ExchangeComplexTypes/HandleColor.js