function highlight(image) {
    image.src = image.src.replace('_off', '_on');
}

function unhighlight(image) {
    image.src = image.src.replace('_on', '_off');
}