function keepIn(parentHREF){
if(top.location.href == self.location.href)
 top.location.href=parentHREF;
 }
 
 function OpenPrint(x, WinName2) {
ChildName = window.open(x, WinName2, "resizable=1,scrollbars=1,toolbar=0,width=700,height=500,top=0,left=0");

}
 
function varitext(text){
text=document
print(text)
}

function vis_samples(){
 var nyt1=window.open('samples.html','NewWin','toolbar=no,status=no,width=390,height=250');
}