var animationFinished = false;

function setAnimationFinished() {
	animationFinished = true;
}

function redirect(what, details) {
	url = '?w=' + what;
	if (details != null && details != '' && details != 'null') {
		url += '&d=' + details;
	}
	document.location = url;
}