document.write('0274\n');