var domDetect    = null;
if (typeof(window.opera) == 'undefined') {
    domDetect    = true;
}
else {
    domDetect    = false;
}
function set_row_color(theRow, color, domDetect){
  var colors = new Array('#ECF0F3', '#DBDDDE');
  if (domDetect) {
      theRow.setAttribute('bgcolor', colors[color], 0);
  } else {
      theRow.style.backgroundColor = colors[color];
  }
}