var open=0,state=1,height=400;window.addEventListener("load", function(){prettyPrint();var a=document.getElementById("comm");if(a)a.checksum.value=31},false); function opener(){if(state){open+=Math.round((open/height+1)*5);document.getElementById("tools").style.height=open+"px";if(open>=height)state=0;else{document.getElementById("tools").style.display="block";setTimeout("opener()",1)}}else if(!state){open-=Math.floor((open/height+1)*5);document.getElementById("tools").style.height=(open<0?0:open)+"px";if(open<=0){document.getElementById("tools").style.display="none";state=1}else setTimeout("opener()",1)}} function $(a){return document.getElementById(a)} (function(){function a(b,e,l){this.x3D=b-51;this.y3D=e-76;this.z3D=l;this.y2D=this.x2D=0}function r(b){var e=Math.sin(b.x3D),l=Math.cos(b.x3D),n=Math.sin(b.y3D),o=Math.cos(b.y3D),p=Math.sin(b.z3D);b=Math.cos(b.z3D);for(var j,g,f,k,h=c.length;h--;){j=c[h].x3D;g=c[h].y3D;f=c[h].z3D;k=l*g-e*f;f=e*g+l*f;g=o*f-n*j;f=n*f+o*j;j=b*f-p*k;k=p*f+b*k;g=q/(q+g);c[h].x2D=j*g*0.4+40;c[h].y2D=k*g*0.4+40}}var d,m=new a(51.5,76.5,0.5);this.active=false;for(var q=300,c=new Array(new a(1,24,10),new a(1,73,10),new a(22, 96,10),new a(62,96,10),new a(62,117,10),new a(37,117,10),new a(37,105,10),new a(1,105,10),new a(1,132,10),new a(22,153,10),new a(80,153,10),new a(101,132,10),new a(101,83,10),new a(80,60,10),new a(41,60,10),new a(41,38,10),new a(67,38,10),new a(67,51,10),new a(102,51,10),new a(102,23,10),new a(81,1,10),new a(22,1,10)),i=22;i<44;i++)c[i]=new a(c[i-22].x3D+51,c[i-22].y3D+76,-c[i-22].z3D);window.onload=function(){if($("stanford").getContext){d=$("stanford").getContext("2d");d.strokeStyle="rgb(250,100,0)"; d.fillStyle="rgb(50,40,5)";d.lineWidth=3;this.clock(true)}};this.clock=function(b){if(active||b){d.clearRect(0,0,80,80);m.x3D+=0.01;m.y3D+=0.01;m.z3D+=0.01;r(m);b=0;do{d.beginPath();d.moveTo(c[b].x2D,c[b].y2D);for(var e=1+b;e<22+b;e++)d.lineTo(c[e].x2D,c[e].y2D);d.lineTo(c[b].x2D,c[b].y2D);d.stroke();d.fill()}while(22==(b+=22));window.setTimeout("stanford.clock(false)",20)}else window.setTimeout("stanford.clock(false)",1E3)};this.startRotate=function(){this.active=true};this.stopRotate=function(){this.active= false};window.stanford=this})();