function change_pic(id)	{
			try{		
			var obj = document.getElementById("big");
					
			if(obj.style.display == 'none'){obj.style.display = 'block' }
				
			if (obj != null)
			{
				obj.src = '/doc/img.asp?obj=' + id.id;
			}
					
			selected_pic = id.id;		
			var label = document.getElementById( "bigpic_descr" );
			label.innerHTML = id.alt;
			
			}
			catch(e){}
			
	}