function hl(thing) { thing.style.borderColor = "#999"; }
function uhl(thing) { thing.style.borderColor = "#444"; }