function gif_over(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('.gif','r.gif');
} 
function gif_out(src) {
	src.children.tags('IMG')[0].src=src.children.tags('IMG')[0].src.replace('r.gif','.gif');
}
function change_foto(){
	i=Math.round(Math.random()*4);	
	document.face_foto.src="/img/face/"+i+".jpg";
	//alert(document.face_foto.src);
};