function highlight(element)
{
		for(i=1;i<50;i++) {
			if(i == element) {
				document.getElementById('a'+i).className = 'high';
			}
			else {
				document.getElementById('a'+i).className = '';
			}
		}
		
}