diff --git a/js/headfoot.js b/js/headfoot.js
index fb41274e08dc0fa6b4fafbbb4e7327815b3828c5..d3b4c84068dda8b4268cd2617678912efe043648 100755
--- a/js/headfoot.js
+++ b/js/headfoot.js
@@ -10,8 +10,8 @@ function prependChild(parent,child){
     parent.insertBefore(child, parent.childNodes[0]);
 }
 
-function userAuthenticated(){
     console.log(document.getElementById('loginswitch').getAttribute('authenticated'));
+function userAuthenticated(){
     let params = new URLSearchParams(window.location.search);
     if(params.get('isAuthenticatedUser')){
         return true;