function scrollFrameTo(name) {
   window.frames.mainContent.location.hash = '#'+name;
}