function move_up()
2{
3 var move = getCookie('move');
4 if (move == '') return false;
5
6 var menu = document.getElementById('menu');
7 menu.scrollTop = move;
8
9 // should i delete the cookie here
10 // or reset it to zero
11}
12
13
14function do_click()
15{
16 moved = document.getElementById('menu');
17 moved = moved.scrollTop;
18
19 // record the cookie
20 setCookie('move', moved, 1);
21}
22
23function getCookie(c_name)
24{
25 if (document.cookie.length > 0)
26 {
27 c_start = document.cookie.indexOf(c_name + "=")
28
29 if (c_start != -1)
30 {
31 c_start = c_start + c_name.length + 1
32 c_end = document.cookie.indexOf(";", c_start)
33
34 if (c_end == -1) c_end = document.cookie.length
35 return unescape(document.cookie.substring(c_start, c_end))
36 }
37 }
38 return 0;
39}
40
41function setCookie(c_name,value,expiredays)
42{
43 var exdate = new Date();
44 exdate.setDate(exdate.getDate() + expiredays);
45 document.cookie = c_name + "=" + escape(value) +
46 ((expiredays==null) ? "" : ";expires=" + exdate.toGMTString()) + '; path=/';
47}