<?php
// $Id: index.php,v 1.1 2004/06/02 20:08:29 tomas Exp $
header ("location: alib/index.php");
die;
?>