Simple tools in PHP.