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