$(document).ready(function() {
    // play, mute, and loop the video   
    var video = document.getElementById('HeaderVideo');
    video.volume = 0;
    video.load();
    video.play();
    video.onended = function(e) {
        this.play();
    }
});