document.write('5543\n');