function kill_cookie(name)
{
//var kill_time = new Date("January 1, 1970");
//var kill_string = name+"=stub;expires=" + kill_time.toGMTString();
//document.cookie = kill_string;
document.cookie = name + '=;expires=Thu, 01-Jan-70 00:00:01 GMT;';
}