function Set_Cookie( name, value, expires, path, domain, secure ) 
        {
                // set time, it's in milliseconds
                var today = new Date();
                today.setTime( today.getTime() );
                
                /*
                if the expires variable is set, make the correct 
                expires time, the current script below will set 
                it for x number of days, to make it for hours, 
                delete * 24, for minutes, delete * 60 * 24
                */
                if ( expires )
                {
                expires = expires * 1000 * 60 * 60 * 24;
                }
                var expires_date = new Date( today.getTime() + (expires) );
                
                document.cookie = name + "=" +escape( value ) +
                ( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) + 
                ( ( path ) ? ";path=" + path : "" ) + 
                ( ( domain ) ? ";domain=" + domain : "" ) +
                ( ( secure ) ? ";secure" : "" );
        }
        function closeNav()
        {
                var div = document.getElementById("adresses"); 
                div.style.display = 'none';
                var div = document.getElementById("pers"); 
                div.style.display = 'none';
                var div = document.getElementById("jobs"); 
                div.style.display = 'none';
                
        }
        function openNav()
        {
                var div = document.getElementById("adresses"); 
                div.style.display = 'block';
                var div = document.getElementById("pers"); 
                div.style.display = 'block';
                var div = document.getElementById("jobs"); 
                div.style.display = 'block';
                
        }
        function ChangeInfo(param){
                closeNav();
                if(param == "default"){
                        Set_Cookie( 'func', '', -300, '/', '', '' );
                } else if(param != "default"){
                
                Set_Cookie( 'func',param, 300, '/', '', '' );
                var div = document.getElementById(param); 
                div.style.display = 'block';
                }
                
        }
        
        function DefaultCookie(name){
                ChangeInfo('default');
        }