Insert Int Into String Python Definition