document.write('1 ')
document.write('2 ')
document.write('3 ')
document.write('4 ')
document.write('5 ')
document.write('6 ')
document.write('7 ')
document.write('8 ')
document.write('9 ')
document.write('10 ')
document.write('11 ')
document.write('12 ')
document.write('13
')