function image_over(image_name)
{
var a = document.all(image_name);
a.src = "/images/" + image_name + "_a.gif"
}
function image_out(image_name)
{
var a = document.all(image_name);
a.src = "/images/" + image_name + ".gif"
}

function popUp(URL,H,W) {
if (!H) {
	H = 400;
}
if (!W) {
	W = 600;
}
day = new Date();
id = day.getTime();
eval("page" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=yes,location=0,statusbar=0,menubar=1,resizable=yes,width='+W+',height='+H+',left = 100,top = 50');");
}