history_back = function(default_url) {
	location.href = default_url;
	return;
	if(history.previous) {
		history.back();
	} else {
		location.href = default_url;
	}
	
}