// alert("olismapall.user.js v2.2.1");
function getElementsByClass(searchClass,tag) {
var classElements = new Array();
if (tag == null) {
tag = '*';
}
var els = document.getElementsByTagName(tag);
var elsLen = els.length;
var pattern = new RegExp("(^|\\s)"+searchClass+"(\\s|$)");
for (i = 0, j = 0; i < elsLen; i++) {
if (pattern.test(els[i].className) ) {
classElements[j] = els[i];
j++;
}
}
return classElements;
}
function getScript(url) {
/* gets a URL (for JSON) and puts it in a