exec($batchfile);