var dayOfWeek = ['Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday'];
var months = ['January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October'];

function updateTime() {
    
    var t = new Date();
 
    var dateString = dayOfWeek[t.getDay()]+', '+months[t.getMonth()]+' '+t.getDate()+', '+t.getFullYear();
//    alert(dateString);
    
    var hour = t.getHours();
    var minutes = t.getMinutes();
    var seconds = t.getSeconds();
    var ampm = 'AM';
    
    if(hour > 12){
        ampm = 'PM';
        if(hour > 13){
            hour = hour - 12;
        }
    }else if(hour == 0){
        hour = 12;
    }
    
    if(minutes < 10){
        minutes = '0'+minutes;
    }
    
    if(seconds < 10){
        seconds = '0'+seconds;
    }
    
    var timeString = hour+':'+minutes+':'+seconds+'<span class="ampm">'+ampm+'</span>';
//  alert(timeString);
    
    var navTime = document.getElementById('navigationTime');
    if(navTime){
        navTime.innerHTML = dateString+'<br>'+timeString;
    }
    
    var mainDate = document.getElementById('mainDate');
    var mainTime = document.getElementById('mainTime');
    
    if(mainDate){
        mainDate.innerHTML = dateString;
    }
    
    if(mainTime){
        mainTime.innerHTML = timeString;
    }
    
};

setInterval(updateTime, 500);