document.write('39990\n');