echo >&3 "cd"
echo >&3 "PROFILE_HOME='$HOME'"
if [ -n "$PRINCIPAL" ]; then
echo >&3 "PRINCIPAL='$PRINCIPAL'"
if [ $kerberos = 1 ]; then
echo >&3 "cd"
echo >&3 "PROFILE_HOME='$HOME'"
if [ -n "$PRINCIPAL" ]; then
echo >&3 "PRINCIPAL='$PRINCIPAL'"
if [ $kerberos = 1 ]; then