/* -----------------------------------------------------
 * This file has all functions that I wil use in the client side.
 * They are loaded once for all
 * Damiano
 */

function jumpToUrl (url)
   {
   top.location.href=url;
   }