rem: dojo.io.cookie.getCookie = function(name) { 
add: dojo.io.cookie.getCookie = function(/*String*/name){   
context: dojo.io.cookie.getCookie = function(name) {	// FIXME: Which cookie should we return?	//        If there are cookies set for different sub domains in the current	//        scope there could be more than one cookie with the same name.	//        I think taking the last one in the list takes the one from the	//        deepest subdomain, which is what we're doing here.	var idx = document.cookie.lastIndexOf(name+'=');	if(idx == -1) { return null; }	var value = document.cookie.substring(idx+name.length+1);	var end = value.indexOf(';');	if(end == -1) { end = value.length; }	value = value.substring(0, end);	value = unescape(value);	return value;}
meta: 4707	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4707/50c3492c4c3c825dbd3401e134a19ed46799c456/dojo.js.uncompressed.js/buggy/www/resources/dojo-ajax/dojo.js.uncompressed.js