setDay = new Date();
setDay.setTime(setDay.getTime()+(365*1000*60*60*24));
expDay = setDay.toGMTString();
if ( document.cookie.indexOf("fixedtree=1") != -1 ) {
    document.cookie="fixedtree=1;expires="+ expDay;
    location.href="left2.html";
}
document.write("<input type='button' onClick='document.cookie=\"fixedtree=1;expires="+ expDay +"\";location.href=\"left2.html\";' value='固定目次を表示'>");
window.status = "伸縮目次のツリーを準備しています...";
menu_print();
window.status = "";