rem: div = top.document.getElementById ("tooltip") 
add: var div = top.document.getElementById ("tooltip") 
context: function backgroundOut (e){	tg = e.target	while (!tg.highlightable)	{		if (!tg.parentNode)			return		tg = tg.parentNode	}	tg.style.borderLeft = tg.style.borderTop = "1px solid #cccccc"	tg.style.borderRight = tg.style.borderBottom = "1px solid #cccccc"	tg.style.backgroundColor = "#cccccc"	tg.focused = false	if (tg.tipVisible)	{		currentFocus = -1		tg.tipVisible = false		tipVisible = false		div = top.document.getElementById ("tooltip")		if (div)			top.document.body.removeChild (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