int DDD(int y) { return 2*y; }