function h(){
document.getElementById('s0').className='h';
document.getElementById('s1').className='h';
document.getElementById('s2').className='h';
document.getElementById('s3').className='h';
document.getElementById('s4').className='h';
};
function r(){
h();
document.getElementById('s0').className='v';
};
function s(n){
h();
document.getElementById('s' + n).className='v';
};