protected void write(String str)
    {
        if (!record_) {
            return;
        }

        if (num_ == null || history_ == null)
        {
            // Creates the history or transactions of this Gridlet
            newline_ = System.getProperty("line.separator");
            num_ = new DecimalFormat("#0.00#");   // with 3 decimal spaces
            history_ = new StringBuffer(1000);
            history_.append("Time below denotes the simulation time.");
            history_.append( System.getProperty("line.separator") );
            history_.append("Time (sec)       Description Gridlet #"+gridletID_);
            history_.append( System.getProperty("line.separator") );
            history_.append("------------------------------------------");
            history_.append( System.getProperty("line.separator") );
            history_.append( num_.format(GridSim.clock()) );
            history_.append("   Creates Gridlet ID #" + gridletID_);
            history_.append( System.getProperty("line.separator") );
        }

        history_.append( num_.format(GridSim.clock()) );
        history_.append( "   " + str + newline_);
    }