function F() {
var f, tr, td, i, j, k;
w = q.value.toLowerCase().split(' ')
tr = t.getElementsByTagName("tr");
for (i = 0; i < tr.length; i++) {
td = tr[i].getElementsByTagName("td");
for (k = 0; k < w.length; k++) {
f = false;
for (j = 0; j < td.length; j++) {
if (td[j].textContent.toLowerCase().indexOf(w[k]) > -1) {
f = true;
};
};
if (f){break};
};
if (f) {