function redirect(url){
	document.location = url;
}