document.write('0549\n');