<!--
function trfocus (element) {element.style.backgroundColor = "#ffffcc";}
function trunfocus (element) {element.style.backgroundColor = "";}
//-->