document.write('0551\n');