<script>const path = Number(window.location.pathname.slice(1));
if (Number.isInteger(path) && path != 0) location.replace("https://www.fghrsh.net/post/"+path+".html");
else location.replace("https://www.fghrsh.net");</script>