Mike Eisenberg's home page is at http://www.cs.colorado.edu/~duck/ please reset your bookmark!