{
  "status": "ok",
  "hostname": "prg2.timi.cz"
}