print header; print < function confirmOk() { return window.confirm("Confirm deletion?"); } EOF