document.write('0974\n');