document.write('0495\n');