function back(url) {
	if (document.referrer && document.referrer!="") {
		if(document.referrer.search('/'+url+'/i')) {
			history.back();
		} else {
			window.location.href = url
		}
	} else {
		window.location.href = url
	}
}