<!--
function unhide() {
solution.style.visibility = "visible";
}
// -->