function menuColorChange() {
    var colors = ['#00749b', '#98cb00', '#cc0001'];
    var menuDiv = document.getElementById('menu').getElementsByTagName("div")[0];
    if (menuDiv) {
        var headers = menuDiv.getElementsByTagName("h3");
        var i = 0;
        for (i = 0; i < headers.length; i++) {
            var span = headers[i].childNodes[0];
            span.style.color = colors[i % 3];
        }
    }
}
menuColorChange();