Extract First Character From String Python Documentation Built In