document.write('0902\n');