1<html> 2<head> 3<meta http-equiv="refresh" content="0; URL=../../doc/html/variant.html"> 4</head> 5<body> 6Automatic redirection failed, please go to 7<a href="../../doc/html/variant.html">../../doc/html/variant.html</a> 8</body> 9</html> 10