// #include view.js

function init() {  
  if (!(document
	&& document.implementation
	&& document.implementation.hasFeature
	&& document.implementation.hasFeature("HTML", "1.0"))) {
    // no DOM support :-(
    return;
  }
  
  if (!document.getElementById) {
    return;
  }
    //  try {

    // alert("view is = " + view + " open is [" + open + "]");
    
  checkbox("hide");

    //  } catch (e) { alert(e); }
}