else { valueElement.innerHTML = "Session state value was sent: "+result; } 
function OnSucceeded(result, userContext, methodName) {    if (methodName == "GetSessionValue")    {        displayElement.innerHTML = "Current session state value: " +             result;    }}
7338	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/7338/d3e9c92cd8fa53079562a1ad9e5a71b6934095cb/PageMethod.js/buggy/mcs/class/System.Web.Extensions/Test/AUT/Sys.Net.PageMethod/PageMethod.js