1Test for bug 12602:
2
3//div[number() = 123]: SUCCESS
4//div[string-length() = 3]: SUCCESS
5//div[normalize-space() = '123']: SUCCESS
6//div[string() = '123']: SUCCESS
7