<html>
<head><title>Welcome to Stan the Offline Dino's Homepage</title></head>
<body>
<script>
// This page surfaces the contents of "stashed_title" to tests via
// the page title. If the script was not executed, or if the script
// failed to execute, then the title will be
// "Welcome to Stan the Offline Dino's Homepage".
document.title = stashed_title;
</script>
</body>
</html>