The same as line 9