document.write('Jan ')
document.write('Feb ')
document.write('Mar ')
document.write('Apr ')
document.write('May ')
document.write('Jun ')
document.write('Jul ')
document.write('Aug ')
document.write('Sep ')
document.write('Oct ')
document.write('Nov ')
document.write('Dec
')