long f(int x) {
    return (long)(x * 1000);
}