function hilight(x) { document.all[x.id].bgColor = "#42ABBE"; }
function restore(x) { document.all[x.id].bgColor = "#013162"; }