function fix_it(){
	objs = document.getElementsByTagName("div");
	len = objs.length;
	for(i=0;i<len;i++){
		if(objs[i].id == "player"){
			objs[i].innerHTML = objs[i].innerHTML;
		}
	}
}