function showFrags(){if(!frags)return;for(var i=0;i<frags.length;i++){var curFrag=d.getElementById(frags[i])
curFrag.style.border='1px solid red';var curEl=document.createElement('span');var curFragText=document.createTextNode(curFrag.id);curEl.appendChild(curFragText);with(curEl.style){background='#e3e3e3';border='solid red';borderWidth='1px 1px 0px';paddingBottom='1px';}
curFrag.parentNode.insertBefore(curEl,curFrag);}}