<% int msgnum = Integer.parseInt((String)request.getAttribute("msgnum")); out.println("Message deleted."); // By default, the next request is doDisplayHeader. out.println (""); %>