function getNewFact(numFacts)
{
  factNum = Math.floor(Math.random() * numFacts);
  while (factNum == glbTempFactNum)
  {
    factNum = Math.floor(Math.random() * numFacts);
  }
  glbTempFactNum = factNum;
  var fact = eval('fact_' + factNum);
  changeInnerHTML('div_facts',fact);
}