// delete all cookies
// called from Default.htm etc

function deleteAll() {
     if (document.cookie != "") {                                              
           thisCookie = document.cookie.split("; ")

           expireDate = new Date
           expireDate.setDate(expireDate.getDate()-1)

           for (i=0; i<thisCookie.length; i++) {
                 cookieName = thisCookie[i].split("=")[0]
                 document.cookie = cookieName + "=;expires=" + expireDate.toGMTString()
           }
     }
}