function go_url(url) {
	location.href = url;
}
function over(name) 

{
	name.style.background = '#1c1c1c';
}


function out(name) {
	name.style.backgroundImage = 'url("./images/back.gif")';
}