#extraction operators