document.write('0357\n');