How to export json from Mongodb using robomongo

How to export json from Mongodb using robomongo : - For larger collections it is not encouraged to use the following.

records = [];
var cursor = db.getCollection('collectionName').find({}, {});
while(cursor.hasNext()) {
    records.push(cursor.next())
}
print(tojson(records));