in javascript c'è windows.refresh