diff --git a/js/headfoot.js b/js/headfoot.js
index 81a71cfa77e5cd37bdf2b513f354433933e5f4c4..65e0e27f1ff8c68c63d23ac521c272f54d5874c6 100755
--- a/js/headfoot.js
+++ b/js/headfoot.js
@@ -129,6 +129,7 @@ function head(){
                 headlink.innerHTML="Account";
                 headlink.href="/account/";
             }
+            console.log(user)
             if(typeof user !== 'undefined'){ //user has priority
                 headlink.innerHTML="Logout";
                 headlink.href="/account/logout";