document.cookie = key + "=" + value + "; path=" + options.domain; 
document.cookie = key + "=" + value; 
	set: function(key, value, options){		options = Object.extend({			domain: '/',			duration: 365		}, options || {});		value = escape(value);		if (options.duration){			var date = new Date();			date.setTime(date.getTime() + (options.duration * 86400000));			value += "; expires=" + date.toGMTString();		}		document.cookie = key + "=" + value + "; path=" + options.domain;	},
6991	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6991/bd86140c45ca64977928244f2b348d71a77abe8c/Cookie.js/buggy/Remote/Cookie.js