function requestDataFile(filename, todo)
{
	new Ajax.Request('/'+filename, {
        method: 'get',
//        parameters: 'url='+ ,
        onFailure: function() {
           alert("onFailure");
        },
        onComplete: function(r){todo(r)}
    });
}

function initLastUpdate(requester)
{
	var data = requester.responseText;
	var elm = new Element('span',{'class':'right'});
	elm.update('Updated on '+data+'    ');
	Element.insert($('bottom'), {top:elm});
	
}

function initMenu(requester)
{
	var data = requester.responseText;
	$('nav').update(data);
}



function init()
{
	requestDataFile("lastUpdate.txt", initLastUpdate);
	requestDataFile("menu",initMenu);
}




Event.observe(window, 'load', init);