//// buster_nav_ie.js// Functions to display the current position// of the user in the "hierarchy" of Gunbuster// pages.//// nav_relistPath// Updates the layer with the current text.function nav_relistPath() {	var calcPath = "" ;	for ( var i=0; i <= this.currentDepth; i++ ) {		calcPath = calcPath + this.namedPath[i] + ":" ;	}	pathLayer = top.menuFrame.pathListId ;	pathLayer.innerText = calcPath ;		// Reassign location of pathlayer.  	// pos- variables use original units assigned.	// Should be px in this case.	pathLayer.style.position = "relative" ;	pathLayer.style.posTop = 0 ;	pathLayer.style.posLeft = 0 ;}// nav_pushLevel// Adds a level to the current directory path.function nav_pushLevel( nextLevel, nextUrl ) {	this.currentDepth = this.currentDepth + 1 ;	this.namedPath[ this.currentDepth ]  = nextLevel ;	this.urlPath[ this.currentDepth ] = nextUrl ;	this.relistPath() ;}// nav_popLevel// Removes a level from the current directory path.function nav_popLevel() {	if ( this.currentDepth > 0 ) {		this.currentDepth = this.currentDepth - 1 ;		this.relistPath() ;	}}// nav_setLevel// Sets a specific level of the navigation path.// levelNum cannot be the top level (0).function nav_setLevel( levelNum, levelName, levelUrl ) {	if ( levelNum > 0 ) {		this.currentDepth = levelNum ;		this.namedPath[ this.currentDepth ] = levelName ;		this.urlPath[ this.currentDepth ] = levelUrl ;		this.relistPath() ;	}}// nav_clearLevel// Revoves a level and all succeeding levels from// the navigation path.// levelNum cannot be the top level (0).function nav_clearLevel( levelNum ) {	if ( levelNum > 0 ) {		this.currentDepth = levelNum - 1 ;		this.relistPath() ;	}}// navPath// Keeps track of Gunbuster navigation depth.function NavPath( topLevel, topUrl ) {	// setup variables	this.namedPath = new Array() ;	this.urlPath = new Array() ;	this.currentDepth = 0 ;	// setup methods	this.pushLevel = nav_pushLevel ;	this.popLevel = nav_popLevel ;	this.relistPath = nav_relistPath ;	this.setLevel = nav_setLevel ;	this.clearLevel = nav_clearLevel ;	// initialize values	this.namedPath[0] = topLevel ;	this.urlPath[0] = topUrl ;}