document.write('0277\n');