
				var cur=null;
				function $(id)
				{
					return document.getElementById(id);	
				}
				
				function show(obj)
				{
					if(cur==null)
					{
						obj.style.display='';	
					}
					else
					{
						if(obj!=cur)
						{
							cur.style.display='none';	
							obj.style.display='';
						}	
					}
					cur=obj;
				}
				
				function hidden()
				{
					if(cur!=null){
						cur.style.display='none';	
						cur=null;
					}
				}
