// JavaScript Document function showtab(a) { var a_array = document.getElementById("tabs").getElementsByTagName("a"); var j=0; for (var i=0; i