// JavaScript Document
function $(element)
{
  return document.getElementById(element);
}
function tab(id)
{
		var pin=((id-1)*109)+40;
		for(i=1;i<=9;i++)
		{
			
			$("links_"+i).className="top_bottom_2";
			$("tops_"+i).src="img/t_0"+i+".jpg";
			if(id==i)
			{
				$("links_"+id).className="top_bottom_1";
				$("tops_"+id).src="img/t_"+i+".jpg";
			}
		}
}