<!--
document.write("<script language=javascript src='randomize/glossary/gloss." + holder2 +".js' ></script>")
//-->