function mn00() {location.href = "/html/";}
function mn01() {location.href = "/html/";}
function mn02() {location.href = "/html/";}
function mn03() {location.href = "/html/";}
function mn04() {location.href = "/html/";}
function mn05() {location.href = "/html/";}