<? error_reporting(0);
global $variante;

if (!($variante >0 && $variante < 5)) {
$variante=rand(1,4);
}
switch ($variante) {
  case 1:
     header("Location: variante1/");
     break;
  case 2:
     header("Location: variante2/");
     break;
  case 3:
     header("Location: variante3/");
     break;
  case 4:
     header("Location: variante4/");
     break;
}
?>