3 ms·

Thanks a lot! That’s why the comments are sometimes worth reading before the text! You saved time to many potential readers.