var browser_type=navigator.appName;
var vertical_location = 'l';
var main_cat='cat_17::cat_2::cat_3::cat_19::cat_6::cat_5::cat_4::cat_15::cat_18::cat_8::cat_9';
var sub_cat='cat_4:cat_12::: Storia e Arte :::y:1,cat_4:cat_13::: Mare e Spiagge :::y:2,cat_4:cat_16::: I dintorni :::y:3,cat_8:cat_10::: Trasporti pubblici :::y:1,cat_8:cat_11::: Servizi turistici :::y:2';
var sub_cat_ext='cat_12::http://::n,cat_13::http://::n,cat_16::http://::n,cat_10::http://::n,cat_11::http://::n';
var sub_navig_file_name="17:page_17.html::2:camere_2.html::3:tariffe_3.html::19:page_19.html::6:fotogallery_6.html::5:come_arrivare_5.html::4:milazzo_4.html::12:storia_12.html::13:mare_13.html::16:dintorni_16.html::15:tutto_quello_15.html::18:page_18.html::8:contatti_8.html::10:contatti1_10.html::11:contatti2_11.html::9:guestbook_9.html::";
var open_scroll_img ='img/base/ba3.jpg';
var open_static_img ='img/base/ba2.jpg';
var l_int_width = 155; 
var l_int_height = 18;  
var title_size =2;
var title_style ="Verdana";
var title_align="left"; 
var l_str_ver_align = "middle" ;
var default_title_color = "#ffffff" ; 
var scroll_title_color = "#000000";  
var common_height ; 
var common_width; 
var common_top;
var common_left;
var common_inc; 
function getScreenFix(l)
{
var l_width_pixel =eval(l);
if(screen.width < 1024)
l_width_pixel = eval(l-(l_int_width+Math.round(l_int_width/2.3)));
return l_width_pixel; 
}
var l_img_scroll_list = new Array(open_scroll_img,open_scroll_img,open_scroll_img);
var l_img_static_list = new Array(open_static_img,open_static_img,open_static_img);
var l_img_width_list = new Array('100','120','180');
var l_img_height = 20;