header ("Refresh: 0.01; URL=$URL"); print '
'; ?>