mantis 3828