现在有一个字符串 s = 'abc123def',以下代码中能正确获得值 abc12 的代码有？
print(s[0:5])
print(s[:5])
print(s[:-4])
print(s[:-4:2])