include "std/io.zr"

func main[] : i64
    found := 0

    i := 1
    while true
        if i->is_prime()
            found += 1
            if found == 10001
                io.println_i64(i)
                break
        i += 1