context: function Hover(ObjectToHover, ClassName, HoverClassName) {	if(document.all)		ObjectToHover.className = ClassName + " " + HoverClassName;}
meta: 9228	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9228/b06a07adf8bad327dc0295db416b96dc3dd5426b/functions.js/buggy/trunk/php/system/functions.js