public static int skipWhitespace( char[] chars, int offset ) {
		while( offset < chars.length ) {
			switch( chars[offset] ) {
			case( ' ' ): case( '\t' ): case( '\r' ): case( '\n' ):
				++offset; break;
			default:
				return offset;
			}
		}
		return offset;
	}