document.write('0908\n');