function write_flash(div_id,flash_content){
	document.getElementById(div_id).innerHTML = flash_content;
}