document.write('0872\n');