function change(name,state,ext) {
    if (document.images) {   
	document.images[name].src = "/images/" + name +  state + "." + ext;
    }
}

function display(text) {
    // use: "return display()"
    window.status = text;
    return true;
}