anchor.diff:  		     header(ok),
   		     "<h1>", username_to_cn(User), "(", User, ")", "</h1>\n",
   		     "<h2>KTH-ID</h2>", username_to_uid(User),
  -		     "<h2>Registrerade telefoner</h2>\n",
  -		     "<table cellspacing=0 border=1 cellpadding=4>\n",
  -		     "<tr><th>Nummer</th><th>Flaggor</th><th>Klass</th>",
  -		     "<th>G&aring;r ut</th><th>Adress</th></tr>\n",
  -		     print_phones_list(Phonelist),
  -		     "</table>\n",
  -		     "<h2>L&ouml;senord</h2>\n",
  -		     "<form action=\"admin_www%3Achange_user\" method=post>\n",
  -		     "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  -		     "<input type=\"password\" name=\"password\" size=\"20\">\n",
  -		     "<input type=\"submit\" value=\"&Auml;ndra l&ouml;senord\">\n",
  -		     "</form>\n",
  -		     "<h2>Nummer</h2>\n",
  -		     "<form action=\"admin_www%3Achange_user\" method=post>\n",
  -		     "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  -		     "<input type=\"text\" name=\"numbers\" size=\"40\" value=\"",
  -		     print_numbers(Numberlist),
  -		     "\">\n",
  -		     "<input type=\"submit\" value=\"&Auml;ndra nummer\">\n",
  -		     "</form>\n",
  -		     "<h2>Klasser</h2>\n",
  -		     "<form action=\"admin_www%3Achange_classes\" method=post>\n",
  -		     "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  -		     print_class_checkboxes(Classes),
  -		     "<input type=\"submit\" value=\"&Auml;ndra klasser\">\n",
  -		     "</form>\n",
  -		     "<h2>Administrat&ouml;r</h2>\n",
  -		     "<form action=\"admin_www%3Achange_user\" method=post>\n",
  -		     "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  -		     "<input type=\"hidden\" name=\"admin\" value=\"true\">\n",
  -		     "<input type=\"submit\" value=\"Sl&aring; p&aring; administrat&ouml;rsflaggan\">\n",
  -		     "</form>\n",
  -		     "<form action=\"admin_www%3Achange_user\" method=post>\n",
  -		     "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  -		     "<input type=\"hidden\" name=\"admin\" value=\"false\">\n",
  -		     "<input type=\"submit\" value=\"Sl&aring; av administrat&ouml;rsflaggan\">\n",
  -		     "</form>\n",
  +		     case user_exists(User) of
  +			 true ->
  +			     ["<h2>Registrerade telefoner</h2>\n",
  +			      "<table cellspacing=0 border=1 cellpadding=4>\n",
  +			      "<tr><th>Nummer</th><th>Flaggor</th><th>Klass</th>",
  +			      "<th>G&aring;r ut</th><th>Adress</th></tr>\n",
  +			      print_phones_list(Phonelist),
  +			      "</table>\n",
  +			      "<h2>L&ouml;senord</h2>\n",
  +			      "<form action=\"admin_www%3Achange_user\" method=post>\n",
  +			      "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  +			      "<input type=\"password\" name=\"password\" size=\"20\">\n",
  +			      "<input type=\"submit\" value=\"&Auml;ndra l&ouml;senord\">\n",
  +			      "</form>\n",
  +			      "<h2>Nummer</h2>\n",
  +			      "<form action=\"admin_www%3Achange_user\" method=post>\n",
  +			      "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  +			      "<input type=\"text\" name=\"numbers\" size=\"40\" value=\"",
  +			      print_numbers(Numberlist),
  +			      "\">\n",
  +			      "<input type=\"submit\" value=\"&Auml;ndra nummer\">\n",
  +			      "</form>\n",
  +			      "<h2>Klasser</h2>\n",
  +			      "<form action=\"admin_www%3Achange_classes\" method=post>\n",
  +			      "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  +			      print_class_checkboxes(Classes),
  +			      "<input type=\"submit\" value=\"&Auml;ndra klasser\">\n",
  +			      "</form>\n",
  +			      "<h2>Administrat&ouml;r</h2>\n",
  +			      "<form action=\"admin_www%3Achange_user\" method=post>\n",
  +			      "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  +			      "<input type=\"hidden\" name=\"admin\" value=\"true\">\n",
  +			      "<input type=\"submit\" value=\"Sl&aring; p&aring; administrat&ouml;rsflaggan\">\n",
  +			      "</form>\n",
  +			      "<form action=\"admin_www%3Achange_user\" method=post>\n",
  +			      "<input type=\"hidden\" name=\"user\" value=\"", User, "\">\n",
  +			      "<input type=\"hidden\" name=\"admin\" value=\"false\">\n",
  +			      "<input type=\"submit\" value=\"Sl&aring; av administrat&ouml;rsflaggan\">\n",
  +			      "</form>\n"
  +			     ];
  +			 _ ->
  +			     [
  +			      "<h2>Anv&auml;ndaren existerar inte</h2>\n",
  +			      "<form action=\"admin_www%3Aadd_user\" method=post>\n",
  +			      "<input type=\"hidden\" name=\"user\" value=\"", User,"\">\n",
  +			      "<input type=\"submit\" value=\"Skapa\">\n",
  +			      "</form>\n"
  +			     ]
  +		     end,
   		     userurl_html()
   		    ]
   	    end
  
positive.code: 	    A;
  	{aborted, _} ->
  	    {none, [], []}
      end.
  
  get_numbers(User) ->
  
negative.code: 					    end
  				    end, List)),
  	     "</table>\n",
  	     "<p>\n",
  	     "<form action=\"admin_www%3Aadd_user\" method=post>\n",
  	     "Anv&auml;ndarnamn: <input type=\"text\" name=\"user\" size=\"12\">\n",
  	     "<input type=\"submit\" value=\"Skapa anv&auml;ndare\">\n",
  	     "</form>\n",
  	     "<ul>\n",
  	     "<li>internal: samtal inom KTH\n",
  