at <stdin>:9 in down
  at <stdin>:12 in down
  at <stdin>:12 in down
  at <stdin>:12 in down
  at <stdin>:18 in main
20000