4 ms·

while is faster than for here. Testing in Chrome 27.0.1453.116 32-bit on Windows Server 2008 R2 / 7 64-bit