var oldRow;function setBorder(a){if(oldRow){oldRow.style.borderColor="#E0E0E0"}a.style.borderColor="#999";oldRow=a;return true}function hoverBorder(a){if(oldRow==a){return false}a.style.borderColor="#999";return true}function outBorder(a){if(oldRow==a){return false}a.style.borderColor="#E0E0E0";return true};