function mouse_over_button(who)
{
	who.style.borderColor = "#AA0000";
	who.style.color = "#AA0000";
}

function mouse_out_button(who)
{
	who.style.borderColor = "#FFFFFF";
	who.style.color = "#FFFFFF";
}

function force_submit()
{
	document.page_form.submit();
}