function toggle (id, force) {
var el = document.getElementById(id);
var visible = (el.style.display != "none");
var toggle = (force == undefined)? !visible : force;
el.style.display = toggle? "block" : "none";}