document.write('0543\n');