function replaceImage(img) {
    if (img.width == '1' && img.src.match(/\.01\./)) {
	img.src = 'img/no_image.gif';
    } else if (img.width == '1') {
	img.src = img.src.replace('.09.','.01.');
    }
}

function pushButton() {
document.button.src='img/button2.gif';
}

function submitForm() {
document.kwd.submit();
}

function backButton() {
document.button.src='img/button1.gif';}