function chngClass(c,cl) {c.attributes['class'].nodeValue=cl;}
function setSel(c) { chngClass(c,'sel'); }
function setUnSel(c) { chngClass(c,'std'); }