document.write('0502\n');