BEGIN { printf "%3\n" }