function byId()
 {
	var id = document.getElementById( "gbi" ).value;
	var target = document.getElementById( id );
	if ( target )
		switchTo( target );
 } // end function byId

// get and highlight an element by its id attribute

get and highlight an element by its id attribute
get and highlight an element by its id attribute
function byId()
 {
	var id = document.getElementById( "gbi" ).value;
	var target = document.getElementById( id );
	if ( target )
		switchTo( target );
 } 
function byId ( ) { var id = document . getElementById ( "gbi" ) . value ; var target = document . getElementById ( id ) ; if ( target ) switchTo ( target ) ; }
get and highlight an element by its id attribute
get and highlight an element by its id attribute
// end function byId
