/*  Removes all charcaters except / , 0-9 modified for NS4 6/5/02 BL*/
var NS4 = (document.layers)?1:0
function isNumeric3( c )
{	
	return (c == '/' || ( c >= '0' && c <= '9' ))
}
function removeNonNumerics3( s )
{
	var tmp = ''
	if (NS4) {
		var cFirst='', sRest
		if ( s == null ) return null
		s = '' + s
		cFirst = s.charAt(0)
		sRest = s.substring(1, s.length)
		if (isNumeric3(cFirst)) {
			tmp = sRest + cFirst
		}else {
			tmp = sRest
		}
	}
	else {
		if ( s == null ) return null
		s = '' + s
		var isLeadingZero = false
		for ( var i = 0; i < s.length; i++ ){
			var c = s.charAt( i )
			if ( isNumeric3( c ) ){
				if ( isLeadingZero == true && c == '0' ){
					continue;
				}else{
					isLeadingZero = false
				}tmp = tmp + c
			}
		}
	}	
	return tmp
}