//Definizione dei nomi dei file per i suoni
var snd= new Array();
snd[0] = sndpath+"onlocal.wav";
snd[1] = sndpath+"oninternal.wav";
snd[2] = sndpath+"onexternal.wav";

function playsound(sound) 
{
	document.all.music.src=snd[sound];
}

//Funzioni per la data dell'ultimo aggiornamento
function makeArray0() {
for (i = 0; i<makeArray0.arguments.length; i++)
this[i] = makeArray0.arguments[i];
}

var days = new makeArray0("Domenica","Lunedì","Martedì","Mercoledì",
"Giovedì","Venerdì","Sabato");

var months = new makeArray0('Gennaio','Febbraio','Marzo',
'Aprile','Maggio','Giugno','Luglio','Agosto','Settembre',
'Ottobre','Novembre','Dicembre');


function getCorrectedYear(year) {
year = year - 0;
if (year < 70) return (2000 + year);
if (year < 1900) return (1900 + year);
return year;
}

function y2k(number) { return (number < 1000) ? number + 1900 : number; }

function padout(number) { return (number < 10) ? '0' + number : number; }

var last = document.lastModified;
var date = new Date(last);
var dateY2K = new Date(getCorrectedYear(date.getYear()),date.getMonth(),date.getDate());

function ultimaData ()
	{
document.write(days[dateY2K.getDay()] + ' ' + dateY2K.getDate() + " " +
	months[dateY2K.getMonth()] +
(y2k(dateY2K.getYear())) 
);
	}