function divstyle(s) { return document.all.tags("div")[s].style; }
function rollover(s,v) { divstyle(s).visibility = (v == 0) ? "hidden" : "visible";}