function image_source (id,src) {
var d = document.getElementById(id);
d.src=src;
}

function montre (id) {
var d = document.getElementById(id);
d.style.visibility='visible';
}

function cache (id) {
var d = document.getElementById(id);
d.style.visibility='hidden';
}

function timeout (url,tempo) {
	setTimeout ("top.location.href = '" + url + "'", tempo);
}

function classe (id,nom) {
	var obj = document.getElementById(id);
	obj.className = nom;
}