<?php

echo json_encode(['Pong',]);