function highlight(what,color){
}

function highlight_on(e){
}

function highlight_off(e){
}