function setTableStyle(jsid) {

   document.getElementById(jsid).style.backgroundColor='#DFFFDF'

}

function unsetTableStyle(jsid) {

   document.getElementById(jsid).style.backgroundColor='#FFFFFF'

}