function change_row_odd(table_row, highlight) {
if (highlight) {
table_row.className='tablecell_list_highlight';
} else {
table_row.className='tablecell_list_odd';
}
}
function change_row_even(table_row2, highlight2) {
if (highlight2) {
table_row2.className='tablecell_list_highlight';
} else {
table_row2.className='tablecell_list_even';
}
}
function jumpTo(theUrl) {
document.location.href = theUrl;
}