Python Insert Char Into String Python Definition