document.write('1188\n');