document.write('0747\n');