/* AUTHOR: Giuseppe Vetura */ /* Creation date: 20/01/2003 */