// redir.js
// Functions for Redirecting from "nice" URL's to real content
// Version 1.2.56
// Copyright (c) 2005, Hewlett Packard GmbH 
// Author Mertens R.
// Created 04.04.2005


// Function which is called from the pageNotFound Page itself
function checkRedirects () {
	// leitet die Anfrage auf die Junction "rome" weiter.
	location.href  = "/rome/redirection/?redir="+escape(location.href);
	return;
}