function ChangePage(file)
{
  window.top.frames['ps_main'].location = file;
}