function redirect(url) {
	if(url.indexOf('http://') === 0)
		document.location.href = url;
	else
		document.location.href = Root + url.replace(/^\//, '');
}

function set_token(token) {
	Token = token;
}

function squeeze_resize(x, y) {
	squeeze.resize({x:x,y:y});
}