function h() {
document.getElementById('vis').style.visibility = 'hidden';
}
function s() {
document.getElementById('vis').style.visibility = 'visible';
}