function $(id)
{
	return document.getElementById(id);
}

function init()
{
	for(id=1; id<=5; id++)
	{
		var img = new Image();
		var path = '/img/' + id + '-s.gif'
		img.src = path;
	}
}

function over(id)
{
	
	$('nav' + id).src = '/img/nav' + id +  '-s.gif';
}

function out(id)
{
	$('nav' + id).src = '/img/nav' + id +  '.gif';
}