int x(int y){return 8193*y;}