var divImg = doc.createElement("div"); 
var divImg = document.createElement("div"); 
    var createImg = function(url, left, top, width, height) {        var divImg = doc.createElement("div");        divImg.style.left = left + "px";        divImg.style.top = top + "px";        setImg(divImg, url, width, height);        divInner.appendChild(divImg);    }
6194	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/6194/ce51eefacd5573479ae87d19e246dea72f4c5008/graphics.js/clean/src/webapp/api/scripts/graphics.js