var doc_span = document.all.tags("span")
あとは、doc_span(i)のiを0からdoc_span.lengthのあいだで変化させ、 各SPAN領域のボーダー色などのスタイルを変えている。