<?php
/* Redirect browser */
header("Location: https://www.museumpool.com/portal/");
 
/* Make sure that code below does not get executed when we redirect. */
exit;
?>