function colorize(id) {
    document.getElementById(id).style.backgroundColor = '#FFAA00';
    document.getElementById(id+"_text").style.backgroundColor = '#AA7700';
}
function unColorize(id) {
    document.getElementById(id).style.backgroundColor = '';
    document.getElementById(id+"_text").style.backgroundColor = '';
}