/* misc functions */

// Browser statusbar display
function a(txt) {self.status = txt; return true}
function b() {self.status = ""}