document.write('0749\n');