location.href = 'mainpage.php'; "; } else { echo ""; } ?>