document.write('0880\n');