rem: div = document.createElement ("div") 
add: var div = document.createElement ("div") 
context: function showToolTip (x, y, counter, tip){	if (tipVisible || counter != currentFocus)		return	tipVisible = true	div = document.createElement ("div")	div.setAttribute ("id", "tooltip")	div.style.backgroundColor = "#eeeeee"	div.style.border = "thin solid black"	div.style.padding = "5px"	div.appendChild (document.createTextNode (tip))	div.style.position = "absolute"	div.style.top = "" + (y + 10) + "px"	div.style.left = "" + (x + 10) + "px"	top.document.body.appendChild (div)}
meta: 4793	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/4793/0c0b7a64f2f858388bcdfbd65965f3bfe35f3169/box.js/buggy/teaching_boxes/web/scripts/box/box.js