// JavaScript Document

var over = new Image();
over.src = "/images/index_07_over.jpg";
var out = new Image();
out.src = "/images/index_07.jpg";

function submitMini()
{
	document.mini.submit();
}

function swapover()
{
	document.getElementById("submit_image").src = over.src;
}

function swapback()
{
	document.getElementById("submit_image").src = out.src;	
}