function op(ID) {
	if(document.getElementById(ID).className=='hid') {
		document.getElementById(ID).className='vis';
	} else {
		document.getElementById(ID).className='hid';
	}
}