var fileName = null;

function display(fileName) {
	var contents = document.getElementById('page');
	var ajax = new Ajax.Updater(
		contents,
		'index.php', {
			method: 'get',
			parameters: '?file=' + fileName
		}
	);
}