document.write('0553\n');