var LOADING = '/media/a_loading.gif';
var LOADING_SMALL = '/media/a_loading_small.gif';
var AJAX_LOADING = '<img src="'+LOADING+'" alt="Chargement..." height="32" width="32" />';
var AJAX_LOADING_SMALL = '<img src="'+LOADING_SMALL+'" alt="Chargement..." height="16" width="16" />';

function ajax_get (dom_id, url) {
	new Ajax.Updater(dom_id, url, {asynchronous:true, method:'get',evalScripts:true});
	$(dom_id).innerHTML = AJAX_LOADING;
}

function window_set_width (width) {
	window.resizeTo(width,window.screen.height);
}

function if_confirm(msg) {
	if (confirm(msg)) {
		return true;
	}
	else {
		return false;
	}
}