Number.prototype.pad = function( length )
	{
	var result	= "" + this + "";
	var sign	= "";
	var decimal	= "";
	var point;
	if( (result.charAt(0) == "+") || (result.charAt(0) == "-") )
		{
		sign	= result.substr( 0, 1 );
		result	= result.substr( 1 );
		}
	point = result.indexOf(".");
	if( point >= 0 )
		{
		decimal	= result.substr( point );
		result	= result.substr( 0, point );
		}
	for( var i = 0; i < length - result.length; i++ )
		result = "0" + result;
	return sign + result + decimal;
	}


function cleanURL( aURL, www )
{
var result = aURL;
var re = new RegExp("[\\?#]","g");
var index = result.replace("%20", " ").replace(re, "\x01").indexOf("\x01");
result = index != -1 ? result.substring( 0, index ) : result;
re = new RegExp("\\\\","g");
result = result.replace(re, "/");
if( www && (result.substr(0,7) == "http://") && (result.substr(0,17) != "http://localhost/") && (result.substr(0,11) != "http://www.") )
result = result.substr(0,7) + "www." + result.substr(7);
if( result.substr(0,9).search("file://[A-Za-z]:") == 0 )
result = result.substr(0,7) + "/" + result.substr(7)
else if( result.substr(0,2).search("[A-Za-z]:") == 0 )
result = "file:///" + result;
return result;
}


function getViewportHeight() {
	var viewportwidth;
	var viewportheight;
	
	// the more standards compliant browsers (mozilla/netscape/opera/IE7) use window.innerWidth and window.innerHeight
	if (typeof window.innerWidth != 'undefined') {
		viewportwidth = window.innerWidth,
		viewportheight = window.innerHeight
	}
	
	// IE6 in standards compliant mode (i.e. with a valid doctype as the first line in the document)
	else if (typeof document.documentElement != 'undefined' && typeof document.documentElement.clientWidth != 'undefined' && document.documentElement.clientWidth != 0) {
		viewportwidth = document.documentElement.clientWidth,
		viewportheight = document.documentElement.clientHeight
	}
	
	// older versions of IE
	else {
		viewportwidth = document.getElementsByTagName('body')[0].clientWidth,
		viewportheight = document.getElementsByTagName('body')[0].clientHeight
	}
	
	document.write('<div id="osMap" style="height: ' + (viewportheight-18) + 'px;"></div>');
}