echo " "
echo "Please use the WebSIS web page"
echo "http://student.mit.edu/"
echo " "