function highlight(table,selected_highlight,selected_border,selected_shadow) {
// do nothing...
}