rem: if (name == a_crumb[0]) 
add: if (name == a_crumb[0]) 
context: function get_cookie(name){  var a_cookie = document.cookie.split("; ");  for (var i=0; i < a_cookie.length; i++)  {    var a_crumb = a_cookie[i].split("=");    if (name == a_crumb[0])       return unescape(a_crumb[1]);  }  return null;}
meta: 8196	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8196/95f0574e16d3e1e536e50959a55258aad81b8544/common.js/buggy/php4/branches/2.2.2/shared/js/common.js