// The IO statements should be here, Alejandro