!7

p {
  print(hasServerDex(#1008600));
  print(hasServerDex(#1001638));
}