/**
 * Random select a data file to download.
 * The data files are named as follows:
 * data0.txt, data1.txt, ..., etc.
 */
function fortune () {
    var n = 16; // The number of total data files
    var i = Math.floor(n * Math.random());
    if (i == n) i--;
    getFile("../fortune/data" + i + ".txt", update);
}

/**
 * Random select an entry from the downloaded text.
 */
function update (result) {
    var htm = "No FORTUNE:(";
    if (result) {
	var items = result.match(/[^%]+/g);
	var n = items.length;
	if (n > 0) {
	    var i = Math.floor(n * Math.random());
	    if (i == n) i--;
	    htm = items[i];
	}
    }
    document.getElementById("fortuneEntry").innerHTML = "<pre>" + htm + "</pre>";
}