function run_page(){
	if (typeof(AUTH_TOKEN) == "undefined") return;
	$('container').getElements('input[name=authenticity_token]').each(function(elm){
	    elm.value = AUTH_TOKEN;
	});
}

window.addEvent('domready', run_page);