function replaceValue(url, target){
	var myAjax = new Ajax.Updater(target, url, {method: 'get'});
}
function highlightPage(cuid){
	document.getElementsByClassName('current', 'mainNav')[0].className = '';
	$(cuid).className = 'current';
}
function highlightTab(tabid){
	document.getElementsByClassName('active', 'tabs')[0].className = '';
	$(tabid).className = 'active';
}