function SwitchDiv( target_element ) {
// get elements class name
var class_name = window.document.getElementById( target_element ).className;
// alert user of the name of the class
// window.alert( class_name );

// check class name and change it
if( class_name == "tab" ) {
window.document.getElementById( target_element ).className = "tabactive";
} else {
window.document.getElementById( target_element ).className = "tab";
} // ends else
}