document.write('0294\n');