document.write('4920\n');