static Dimension snippetImageSize(S imageID) {
  Map<S, S> map = jsonDecodeMap(loadPage("http://tinybrain.de:8080/tb-int/get.php?id=1003218&full=1"));
  ret new Dimension(
    parseInt(map.get("img_width")),
    parseInt(map.get("img_height")));
}