1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Function Redirect</title>
<script language="JavaScript" type="text/javascript">
function loadPage()
{
if (location.hash.length > 0) {
funcname = location.hash.substr(1);
funcpage = "function." + funcname.replace(/_/g, "-") + ".html";
path = location.href.substring(0, location.href.lastIndexOf("/"));
location.replace(path + '/' + funcpage);
}
}
</script>
</head>
<body onload="loadPage();">
</body>
</html>
|
