var undefined;
var last_tab;
function indicate_navigation (selected) {
  if ( document.getElementById( 'tab_' + selected ) != undefined ) {
    document.getElementById( 'tab_' + selected ).style.backgroundColor="#ffffff";
    document.getElementById( 'tab_' + selected ).style.borderBottomColor="white";
  }
  }