python之在 Python 中对字符串进行切片

当我们需要在特定位置对字符串进行切片时，我们需要知道从我们想要的位置开始的索引。

例如，在字符串中:

>>> s = 'Your ID number is: 41233' 

我想对从 : 开始的字符串进行切片并获取数字。

当然，我可以计算 : 是什么索引，然后切片，但这真的是一个好方法吗？

当然我可以做一个s.index(':')。但这将是一个额外的步骤，所以我想到了类似的东西:

>>> print s[(s.index(':')+2):] 
41233 

但不知何故我不喜欢它的外观。

所以我的问题是，给定一个要切片的长字符串，您如何以最简单和最易读的方式找到从哪里开始切片的索引？如果有口头做的技巧，我很想知道。