document.write('0848\n');