document.write('0541\n');