
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

</head>

<body bgcolor="#ffffff" text="#000099">

I was just getting ready to leave and wondered about the server

switch...<br>

</body>

</html>