document.write('3974\n');