function highlight(obj){
obj.backgroundColor='#CCCCFF';
}
function unhighlight(obj){
obj.backgroundColor='';
}