<!-- hide from old browsers
/*************************************************************************
    
*************************************************************************/

 function stripslashes(str) {
str=str.replace(/\\'/g,'\'');
str=str.replace(/\\"/g,'"');
str=str.replace(/\\\\/g,'\\');
str=str.replace(/\\0/g,'\0');
return str;
}
function chamgeImgZoom(Base, Url)
   {
	/*
	ZoomLink= document.getElementById("zoomLink");
	ZoomLink2= document.getElementById("zoomLink2");
	//alert (ZoomLink);
	ZoomLink.href=Base+"imgBig/"+Url;
	ZoomLink2.href=Base+"imgBig/"+Url;
	//alert (ZoomLink.href);
	*/
	MainImg= document.getElementById("ArtImg");
	//alert (MainImg);
	//alert (MainImg.src);
	MainImg.src=Base+"imgBig/"+Url;
	//alert (MainImg.src);/**/
	//ZoomLink.title=Titolo;
}
function Set_Cookie( name, value, expires, path, domain, secure )
{
// set time, it's in milliseconds
var today = new Date();
today.setTime( today.getTime() );

/*
if the expires variable is set, make the correct
expires time, the current script below will set
it for x number of days, to make it for hours,
delete * 24, for minutes, delete * 60 * 24
*/
if ( expires )
{
expires = expires * 1000 * 60 * 60 * 24;
}
var expires_date = new Date( today.getTime() + (expires) );

document.cookie = name + "=" +escape( value ) +
( ( expires ) ? ";expires=" + expires_date.toGMTString() : "" ) +
( ( path ) ? ";path=" + path : "" ) +
( ( domain ) ? ";domain=" + domain : "" ) +
( ( secure ) ? ";secure" : "" );
}
function setCookieTip( Tip )
{
 Set_Cookie( 'filtroOpere', Tip, 30, '/prova/', '', '' );
}
function setCookieTip2( Tip )
{
 Set_Cookie( 'filtere', Tip, 30, '/bottega-gollini/', '', '' );
}

// stop hiding -->
