document.write("No such userid.\n");