function animazione_home() {
document.write("");
}
function animazione_scelta() {
document.write("");
}
function animazione_menu_uomo() {
document.write("");
}
function animazione_menu_donna() {
document.write("");
}
function animazione_banner(file, w, h) {
document.write("");
}