// JavaScript Document

<!-- switcher script -->
var currentDiv = "v8";
function switchDiv(div_id)
{
document.getElementById(currentDiv).style.display = "none"
document.getElementById(div_id).style.display = "block"
currentDiv = div_id;
}