function flashGetHref() { return location.href; }
/* function flashPutHref(href) { location.href = href; } */
function flashPutHref(href) {}
function flashPutHref(href) { }//modificata per non far ricaricare la pagina continuamente
function flashGetTitle() { return document.title; }
function flashPutTitle(title) { document.title = title; }