var search_string = 'cerca un prodotto';
function W(string) { document.write(string); }
function D(id) { W(id ? '' : '
'); }
function id(id) { return document.getElementById(id); }
function OnMOv() { id('search_keys').value = id('search_keys').value == search_string ? '' : (id('search_keys').value ? id('search_keys').value : ''); id('search_keys').focus(); }
function OnMOu() { id('search_keys').value = !id('search_keys').value ? search_string : id('search_keys').value; }
W('');
W('
');
W('');