`echo "" | time $FrontEnd`;