rem: id = "OpenLayersDiv" + (Math.random() * 10000 % 10000); 
add: id = "OpenLayersDiv" + Math.round(Math.random() * 10000); 
context: OpenLayers.Util.createDiv = function(id, px, sz, imgURL, position,                                      border, overflow) {    var dom = document.createElement('div');    //set specific properties    dom.style.padding = "0";    dom.style.margin = "0";    if (imgURL) {        dom.style.backgroundImage = 'url(' + imgURL + ')';    }    //set generic properties    if (!id) {        id = "OpenLayersDiv" + (Math.random() * 10000 % 10000);    }    if (!position) {        position = "absolute";    }    OpenLayers.Util.modifyDOMElement(dom, id, px, sz,                                      position, border, overflow);    return dom;};
meta: 4411	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4411/6179839a7a1711bc25fd09b4339d70c42a58465c/Util.js/buggy/lib/OpenLayers/Util.js