function loading() {
	if (document.getElementById && typeof(last_uri) != 'undefined'){
		if(document.getElementById('loadingdiv') != 'undefined')
			document.getElementById('loadingdiv').style.display = 'none';
	}
}