// JavaScript Document
function RunProgetto()
{
document.write('\n');
}
function RunHotel()
{
document.write('\n');
}
function RunStruttura()
{
document.write('\n');
}
function RunLuoghi()
{
document.write('\n');
}
function RunBanner()
{
document.write('\n');
}
function RunBanner1()
{
document.write('\n');
}