var docCookie = document.cookie
var stylename = readCookie("style"); /* from cookie.js */

/*alert( document.cookie + "-->" + stylename );*/
if ( stylename != "" )
  {
   changestyle( stylename ); /* from changestyle.js */
  }