<?php

header("Location: index.php?page=$page&action=$action&rank=$rank&high=$high");

?>