function over(){
document.number1.src = "top_on.gif";
}
function out(){
document.number1.src = "top.gif";
}
function over_index(){
document.number2.src = "index_on.jpg";
}
function out_index(){
document.number2.src = "index.jpg";
}