9     var index = document.cookie.indexOf(myCookie);
 
   12       var valStart = index + myCookie.length;
 
   13       var valEnd = document.cookie.indexOf(
";", valStart);
 
   16         valEnd = document.cookie.length;
 
   18       var val = document.cookie.substring(valStart, valEnd);
 
   27   if (val==undefined) 
return;
 
   28   if (expiration == null) 
 
   30     var date = 
new Date();
 
   31     date.setTime(date.getTime()+(10*365*24*60*60*1000)); 
 
   32     expiration = date.toGMTString();
 
   34   document.cookie = 
cookie_namespace + 
"_" + cookie + 
"=" + val + 
"; expires=" + expiration+
"; path=/";
 
   39   var windowWidth = $(
window).width() + 
"px";
 
   40   var sidenavWidth = $(
sidenav).outerWidth();
 
   41   content.css({marginLeft:parseInt(sidenavWidth)+
"px"}); 
 
   47   var windowWidth = $(
window).width() + 
"px";
 
   48   content.css({marginLeft:parseInt(navWidth)+6+
"px"});
 
   49   sidenav.css({width:navWidth + 
"px"});
 
   54   var headerHeight = 
header.outerHeight();
 
   55   var footerHeight = footer.outerHeight();
 
   56   var windowHeight = $(
window).height() - headerHeight - footerHeight;
 
   57   content.css({height:windowHeight + 
"px"});
 
   58   navtree.css({height:windowHeight + 
"px"});
 
   59   sidenav.css({height:windowHeight + 
"px",top: headerHeight+
"px"});
 
   68   footer  = $(
"#nav-path");
 
   69   $(
".side-nav-resizable").resizable({resize: 
function(
e, ui) { 
resizeWidth(); } });
 
   74   var url = location.href;
 
   75   var 
i=url.indexOf(
"#");
 
   76   if (i>=0) 
window.location.hash=url.substr(i);
 
   77   var _preventDefault = 
function(evt) { evt.preventDefault(); };
 
   78   $(
"#splitbar").bind(
"dragstart", _preventDefault).bind(
"selectstart", _preventDefault);
 
   79   $(document).bind(
'touchmove',
function(
e){
 
   80     var device = navigator.userAgent.toLowerCase();
 
   81     var ios = device.match(/(iphone|ipod|ipad)/);
 
   84         var target = 
e.target;
 
   86           if ($(target).
css(
'-webkit-overflow-scrolling')==
'touch') 
return;
 
   87           target = target.parentNode;
 
moTypes MOint moText moParamIndex moParamReference int iRow int int i int i
 
function readCookie(cookie)
 
function writeCookie(cookie, val, expiration)
 
function restoreWidth(navWidth)