// JavaScript Document

function change_logo(){
document.images["logo"].src='../img/logo_over.gif';
}
function init_logo(){
document.images["logo"].src='../img/logo.gif';
}

function change_logo_princ(){
document.images["logo"].src='img/logo_over.gif';
}
function init_logo_princ(){
document.images["logo"].src='img/logo.gif';
}