Sabendo-se que em Tóquio, cidade localizada a aproximadamente 140° Leste do meridiano de referência, Greenwich, são 17 horas, horário oficial, e desprezando quaisquer ajustes de fusos entre os países, bem como outras adaptações, que horas (horário oficial) serão na cidade de Porto Alegre, localizada a cerca de 51° a Oeste do meridiano de Greenwich?