document.write('0643\n');