function trimChar(n,t){while(n.charAt(0)==t)n=n.substring(1);while(n.charAt(n.length-1)==t)n=n.substring(0,n.length-1);return n}var header,stickyOffset