function ajax(a) {
	AjaxRequest.post(
	  {
		'url':'/ajax.php',
		'file':a.href,
		'data':'title',
		'onComplete':function(NewTitle) { document.title=NewTitle.responseText; }
	  }
	);
	AjaxRequest.post(
	  {
		'url':'/ajax.php',
		'file':a.href,
		'data':'content',
		'onComplete':function(NewContent) { document.getElementById('maincontent').innerHTML=NewContent.responseText; }
	  }
	);
}