function over(img) { document.getElementById(img).src = "/images/"+img+"3.gif"; }
function out(img) { document.getElementById(img).src = "/images/"+img+".gif"; }
function down(img) { document.getElementById(img).src = "/images/"+img+"2.gif"; }
function up(img) { document.getElementById(img).src = "/images/"+img+".gif"; }
function xover(xid) { document.getElementById(xid).style = "background-color:#000000;color:#ffffff;font-size:12px;font-weight:bold"; }
function xout(xid) { document.getElementById(xid).style = "background-color:#b7d30b;color:#ffffff;font-size:12px;font-weight:bold"; }
function xdown(xid) { document.getElementById(xid).style = "background-color:#b7d30b;color:#ffffff;font-size:12px;font-weight:bold"; }
function xup(xid) { document.getElementById(xid).style = "background-color:#b7d30b;color:#ffffff;font-size:12px;font-weight:bold"; }