// JavaScript Document
function cache_flash() {document.getElementById('flash').style.display='none';}