document.write('0964\n');