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