function redirect($url=null){
	@header('location: '.$url);
	exit('');
}