function highlight(id) {
    var x = document.getElementById(id);
    x.style.color = '#ff4a05';
}

function revert(id) {
    var x = document.getElementById(id);
    x.style.color = '#000000';
}