1: onload=function(){
2: if (document.getElementsByClassName == undefined) {
3: document.getElementsByClassName = function(className)
4: {
5: var hasClassName = new RegExp("(?:^|\\s)" + className + "(?:$|\\s)");
6: var allElements = document.getElementsByTagName("*");
7: var results = [];
8:
9: var element;
10: for (var i = 0; (element = allElements[i]) != null; i++) {
11: var elementClass = element.className;
12: if (elementClass && elementClass.indexOf(className) != -1 && hasClassName.test(elementClass))
13: results.push(element);
14: }
15:
16: return results;
17: }
18: }
19: }