function perm_change(row) {
	let user_perms = users_perms[row.children[0].textContent];
	let row_perms = [];
	for (let child of row.children) {
		if (child.firstChild.type == "checkbox") {
			if (child.firstChild.checked) {
				row_perms.push(true);
			} else {
				row_perms.push(false);
			}
		}
	}
	let perms_changed = false;
	for (let i = 0; i < user_perms.length; i++) {
		if (user_perms[i] != row_perms[i]) {
			perms_changed = true;
		}
	}
	console.log("perms_changed = " + perms_changed);
}