function highlightButton() {
document.button.src='http://www1.kobe-mosaic.co.jp/image/header/search_over.gif';
}
function pushButton() {
document.button.src='http://www1.kobe-mosaic.co.jp/image/header/search_over.gif';
}
function darkenButton() {
document.button.src='http://www1.kobe-mosaic.co.jp/image/header/search.gif';
}
function submitForm() {
document.search.submit();
}