5000 battens ) ” 0 1 / x!