document.write('0978\n');