Dvips.exe SANUM.dvi