document.write('8880\n');