var DOC_VERSIONS = [
"stable",
"v0.9",
"v0.8",
"v0.7",
"v0.6",
"v0.5",
"v0.4",
"v0.3",
"v0.2",
"v0.1",
"dev",
];