Time difference between Tokyo and Prague