document.write('0862\n');