function write_flash(id, content) {
    document.getElementById(id).innerHTML = content;
}