document.write('0302\n');