function write_gi_list() {
document.write("<ul class=\"gi_list\"> \
</ul>") }