function loadtoc(page){
parent.toc.location.href = page;
}