Update tools.php

add function de