set_tex_cmds('');
$pdf_mode=4;
$dvi_mode=0;
$ps_mode=0;