/*************************************************************************
	
Name:	url.php
Desc:	redirect / reload / browser history
		
*************************************************************************/

function url_redirect(url) {
	document.location.href = url;
}

function url_reload() {
	document.location.reload();
	//document.location.href = document.location.href + ((url != null) ? url : '');
}

function url_back(depth) {
	if (depth == null) {depth = 0;}
	history.go(-1);
}