// JavaScript Document 
//--> 

// Redirect constructor: 
function Redirect( url )
{ 
	this.url = url; 
	this.secs = 10; 
} 

// Redirect constructor: 
function Redirect( url, ms )
{ 
	this.url = url; 
	this.secs = ms; 
}

// Perform the redirect: 
function Redirect_go()
{ 
	var url = this.url; 
	if ( url )
	{ 
		var secs = this.secs; 
		if ( secs == 0 ) 
		{ 
			window.location.replace( url ); 
		} else { 
			var ms = secs * 1000; 
			setTimeout( 'window.location.replace( "' + url + '" )', ms ); 
		} 
	} 
} 


Redirect.prototype.go = Redirect_go; 

// Delay the redirect: 
function Redirect_delay( secs )
{ 
	// Try to parse the argument as an integer: 
	secs = parseInt( secs ); 
	// Test for a non-negative integer: 
	if ( !isNaN( secs ) && secs >= 0 ) this.secs = secs; 
} 


Redirect.prototype.delay = Redirect_delay; 

// Write a generic redirect message into the current document: 
function Redirect_write()
{ 
	var url = this.url; 
	if ( window.location == url ) return; 
	var secs = this.secs; 
}

 
Redirect.prototype.write = Redirect_write;