% dvips.mfj - created by dvips 
input [dvidrv]; 
{ 
base=plain; 
font=cmbx12; 
mag=1.440000000;  
mode=laserjetIV[600]; 
output=pk[C:\AST\texfonts\pixel.ljh\@Rrdpi\@f]; 
} 
{ 
base=plain; 
font=cmr17; 
mag=1.200000000;  
mode=laserjetIV[600]; 
output=pk[C:\AST\texfonts\pixel.ljh\@Rrdpi\@f]; 
} 
{ 
base=plain; 
font=cmr17; 
mag=1.200000000;  
mode=laserjetIV[600]; 
output=pk[C:\ast\texfonts\pixel.ljh\@Rrdpi\@f]; 
} 
{ 
base=plain; 
font=cmr17; 
mag=1.200000000;  
mode=laserjetIV[600]; 
output=pk[C:\ast\texfonts\pixel.ljh\@Rrdpi\@f]; 
}