Some files, defined tool to be written in Web.py