var ns = ( navigator.appName == "Netscape" );
if ( ns ) {
	HTMLElement.prototype.__defineGetter__(
		"children",
		function () {
			var tmp = [];
			var j = 0;
			var n;
			for ( var i = 0; i < this.childNodes.length; i++ ) {
				n = this.childNodes[ i ];
				if ( n.nodeType == 1 ) {
					tmp[ j++ ] = n;
					if ( n.name ) {
						if ( !tmp[n.name] )
							tmp[n.name] = [];
						tmp[ n.name ][ tmp[n.name].length ] = n;
					}
					if ( n.id ) tmp[ n.id ] = n;
				}
			}
			return tmp;
		}
	);
}