function delCookie(name) {
               var threeDays = 3 * 24 * 60 * 60 * 1000;
               var expDate = new Date();
               expDate.setTime (expDate.getTime() - threeDays);
	document.cookie = name +"=deleted; expires="+expDate.toGMTString() +  "; path=/;"}