<!---

//randomizer

function getRandTextNo(NoOfTexts) {
	    return Math.round(Math.random() * (NoOfTexts - 1) + 1) 
}

//string builder
function makeString(randInt) {
          return "http://www.mixolydian.org/HomeTexts/text" + getRandTextNo(randInt) + ".js"
}

//--->