Meins

javascript:
function search(value)
{
	var obj=this.getElementsByClassName("row");
	for(i=0;i<obj.length;i++)
		obj[i].className=obj[i].className.replace(/ markPlayer/,"");
				
	if (value.length>2)
	{
		obj=this.getElementsByClassName("row");
		for(i=0;i<obj.length;i++)
			if (obj[i].innerHTML.toLowerCase().indexOf(value.toLowerCase())!=-1)
				obj[i].className+=" markPlayer";
		}
	}
}

function getElementsByClassName(searchclass)
{
	var all_obj,ret_obj=new Array(),j=0,teststr;

	if(document.all)all_obj=document.all;
	else if(document.getElementsByTagName && !document.all)
	all_obj=document.getElementsByTagName("*");

	for(i=0;i<all_obj.length;i++)
	if(all_obj[i].className.indexOf(searchclass)!=-1)
	{
		teststr=","+all_obj[i].className.split(" ").join(",")+",";
		if(teststr.indexOf(","+searchclass+",")!=-1)
		{
			ret_obj[j]=all_obj[i];
			j++;
		}
	}
	return ret_obj;
}

jeder spieler spieler hat in seiner zeile (<tr>) class="row guid" z.b. class="row 10001".
mit search(10001) kann man eine neue klasse "markPlayer" hinzufügen, deren style im css
definiert werden muss.