function display_notices() { document.write(""); }