function getfile(filename) {$.get(filename, function(data){$("#tab_bottom_content").html(data);});}

function active() {
					var divObj = document.getElementById('tab_holder');
				var links = divObj.getElementsByTagName('div');
				window.addEventListener ? divObj.addEventListener('click', changeClasses, false) : divObj.attachEvent('onclick', changeClasses);
				function changeClasses(e) {
					var trigger = e.target ? e.target : window.event.srcElement;
					var counter = 0;
					var link;
					while (link = links[counter]) {
						link.className = link != trigger ? 'inactive' : 'active';
						counter++;
					}
				}
			}