var img8 = new Image();
img8.src = 'skype3.jpg';
var img9 = new Image();
img9.src = 'msn3.jpg';
var img10 = new Image();
img10.src = 'email3.jpg';
var img11 = new Image();
img11.src = 'grafica+stampa+spedizione.gif';

function cambiopulsante(ImageName,ImageFile){ 
ImageName.src = ImageFile; 
}

function addbookmark(){
var bookmarkurl= location.href
var bookmarktitle="GRAFICAESTAMPALOWCOST.COM - il tuo grafico di fiducia"

if (document.all)
window.external.AddFavorite(bookmarkurl,bookmarktitle)
}

function controlloricerca(f) {
  if (f.camporicerca.value=="") {
  alert("Campo 'Campo ricerca' obbligatorio.");
  f.camporicerca.focus();  
  return false;
 }
}