<?php
// $Id: index.php,v 1.1 2004/07/23 00:22:13 tomas Exp $
header ("location: install.php");
die;
?>