spikefile.wopen("SPIKEOUT.dat")
spiketimes.printf(spikefile,"%8.1f\n")
spikefile.close()