rem: id = "OpenLayersDiv" + (Math.random() * 10000 % 10000); 
add: id = "OpenLayersDiv" + Math.round(Math.random() * 10000); 
context: OpenLayers.Util.createImage = function(id, px, sz, imgURL, position, border) {    image = document.createElement("img");    //set special properties    image.style.alt = id;    image.galleryImg = "no";    if (imgURL) {        image.src = imgURL;    }    //set generic properties    if (!id) {        id = "OpenLayersDiv" + (Math.random() * 10000 % 10000);    }    if (!position) {        position = "relative";    }    OpenLayers.Util.modifyDOMElement(image, id, px, sz, position, border);            return image;};
meta: 1027	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1027/9eb4f1967e74b30d436c85d8456c3a6ba8b6f246/Util.js/buggy/lib/OpenLayers/Util.js