var usersWhoCanSetPriority = ['JOHN', 'LUKE', 'JEFF', 'MAX', 'ANDY'];

var bDisablePrio = true;
var tdNodes = document.getElementsByTagName ("TD");
console.log ("tdNodes: ", tdNodes);

for (var J = tdNodes.length - 1; J >= 0; --J) {
var tdNode = tdNodes[J];
console.log ("className: ", tdNode.className, "classList: ", tdNode.classList, "class: ", tdNode.class);
if (tdNode.className == "user") {
var userName = tdNode.textContent.replace (
/^(?:.|\n|\r)+\(User:\s+([^)]+)\)(?:.|\n|\r)+$/i, "$1"