document.write('0743\n');