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