servletmanuscript