redirect to https://www.japantimes.co.jp/news/2024/07/10/japan/planetarium%2Doperators/<script>window.location.href = 'mailto:?subject=japan&#39;s planetarium operators shoot for the stars with new events&body=https://www.japantimes.co.jp/news/2024/07/10/japan/planetarium%2Doperators/';setTimeout(function(){window.location.href= 'https://www.japantimes.co.jp/news/2024/07/10/japan/planetarium%2Doperators/'},500);</script>