function viewsource(fname){
   var str,posit;
   str = new String(window.location); 
   posit=str.lastIndexOf('/');
   sub=str.substring(0,posit)+'/'+fname; 
   window.location="view-source:"+sub;
}