function OpenIndex() {
window.open( "K_toc2.html", "Index", "toolbar=no,location=no,directories=no,status=no,menubar=no,scrollbars=yes,resizable=yes,width=250,height=400" );
}